4394 search results - page 864 / 879 » Designing agent chips |
112
click to vote
TARK
2007
Springer
15 years 4 months ago
2007
Springer
We contend that reasoning about knowledge is both natural and pragmatic for verification of electronic voting protocols. We present a model in which desirable properties of elect...
SENSYS
2005
ACM
15 years 3 months ago
2005
ACM
Increasing user comfort and reducing operation costs have always been two primary objectives of building operations and control strategies. Current building control strategies are...
IUI
2003
ACM
15 years 3 months ago
2003
ACM
This paper describes lessons learned in developing the linguistic, cognitive, emotional, and gestural models underlying virtual human behavior in a training application designed t...
IJCAI
2003
14 years 11 months ago
2003
Pervasive robotics will require, in a near future, small, light and cheap robots that exhibit complex behaviors. These demands led to the development of the M2-M4 Macaco project -...
AROBOTS
2007
14 years 10 months ago
2007
Robotic Development Environments (RDEs) have come to play an increasingly important role in robotics research in general, and for the development of architectures for mobile robot...