1086 search results - page 165 / 218 » Rapid Development of Real-Time Systems Using RTExpress |
HYBRID
1998
Springer
14 years 29 days ago
1998
Springer
This paper investigates how formal techniques can be used for the analysis and verification of hybrid systems [1,5,7,16] -- systems involving both discrete and continuous behavior....
ICRA
2008
IEEE
14 years 3 months ago
2008
IEEE
— With the goal of developing biologically inspired manipulation strategies for an anthropomorphic hand, we investigated how the human central nervous system utilizes the hands r...
ICARCV
2006
IEEE
14 years 2 months ago
2006
IEEE
—This work presents chemical communication techniques for nanorobots foraging in fluid environments relevant for medical applications. Unlike larger robots, viscous forces and ra...
OOPSLA
2004
Springer
14 years 2 months ago
2004
Springer
Radio Frequency Identification (RFID) technology provides the means to track any object, any time, anywhere with Electronic Product Codes (EPC). A major consequence of this techno...
BMCBI
2008
13 years 8 months ago
2008
Background: Molecular-docking-based virtual screening is an important tool in drug discovery that is used to significantly reduce the number of possible chemical compounds to be i...