6800 search results - page 850 / 1360 » Testing with Functions as Specifications |
194
click to vote
ICRA
2006
IEEE
16 years 29 days ago
2006
IEEE
ACT Search and rescue robots often use tethers to provide power and communication, but tethers get caught on debris and small robots have difficulty with the added drag of the tet...
175
click to vote
ISCAS
2006
IEEE
16 years 29 days ago
2006
IEEE
— We describe an analog VLSI circuit implementing spike-driven synaptic plasticity, embedded in a network of integrate-and-fire neurons. This biologically inspired synapse is hi...
161
click to vote
ISCAS
2006
IEEE
16 years 29 days ago
2006
IEEE
— The rapid control of sonar-guided vehicles through obstacle fields has been a goal of robotics for decades. How sensory data is represented strongly affects how obstacles and g...
203
click to vote
ISPDC
2006
IEEE
16 years 29 days ago
2006
IEEE
The centralised management of distributed computing infrastructures presents a number of considerable challenges, not least of which is the effective monitoring of physical resour...
183
click to vote
QSIC
2006
IEEE
16 years 28 days ago
2006
IEEE
Pervasive programs should be context-aware, which means that program functions should react according to changing environmental conditions. Slicing, as an important class of code ...