6800 search results - page 1255 / 1360 » Testing with Functions as Specifications |
SIGIR
2004
ACM
14 years 1 months ago
2004
ACM
Collaborative filtering identifies information interest of a particular user based on the information provided by other similar users. The memory-based approaches for collaborativ...
VRML
2004
ACM
14 years 1 months ago
2004
ACM
Increasingly, biology researchers and medical practitioners are using computational tools to model and analyze dynamic systems across scales from the macro to the cellular to the ...
MDM
2004
Springer
14 years 1 months ago
2004
Springer
This position paper argues that the mobile agents paradigm is a useful and important technology enabling pervasive and ubiquitous computing. Context awareness drives adaptability ...
ICRA
2003
IEEE
14 years 1 months ago
2003
IEEE
— The new generation of implanted neuroprostheses allows muscles to be controlled with fine accuracy, high selectivity and the repeatability of the muscle’s response can be ach...
RSP
2003
IEEE
14 years 1 months ago
2003
IEEE
This paper describes the early analysis and estimation features currently implemented in the Berkeley Emulation Engine (BEE) system. BEE is an integrated rapid prototyping and des...