1054 search results - page 152 / 211 » From a Verified Kernel towards Verified Systems |
156
click to vote
FM
2003
Springer
15 years 11 months ago
2003
Springer
As the systems we have to specify and verify become larger and more complex, there is a mounting need to combine different tools and decision procedures to accomplish large proof ...
176
click to vote
GECCO
2003
Springer
15 years 11 months ago
2003
Springer
We present the result of our work on use of genetic programming for evolving social behavior of agents situated in inherently cooperative environment. We use predators-prey pursuit...
143
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
Conventionally, mobile robots are controlled through an action selection mechanism (ASM) that chooses among multiple proposed actions. This choice can be made in a variety of ways...
161
click to vote
UIST
2000
ACM
15 years 10 months ago
2000
ACM
We have implemented a computer interface that renders synchronized auditory and haptic stimuli with very low (0.5ms) latency. The audio and haptic interface (AHI) includes a Panto...
171
click to vote
ACMDIS
1997
ACM
15 years 10 months ago
1997
ACM
Human-computer interaction is multidisciplinary, drawing paradigms and techniques from both the natural sciences and the design disciplines. HCI cannot be considered a pure natura...