4201 search results - page 786 / 841 » Interaction graphs: Additives |
169
click to vote
ICRA
2008
IEEE
15 years 10 months ago
2008
IEEE
— Social robots face the fundamental challenge of detecting and adapting their behavior to the current social mood. For example, robots that assist teachers in early education mu...
137
click to vote
IPPS
2008
IEEE
15 years 10 months ago
2008
IEEE
NAMD† is a portable parallel application for biomolecular simulations. NAMD pioneered the use of hybrid spatial and force decomposition, a technique now used by most scalable pr...
162
click to vote
MOBIQUITOUS
2008
IEEE
15 years 10 months ago
2008
IEEE
Mobile ad hoc networks can be leveraged to provide ubiquitous services capable of acquiring, processing, and sharing real-time information from the physical world. Unlike Internet...
159
Voted
TPHOL
2008
IEEE
15 years 10 months ago
2008
IEEE
g to the well-known “LCF approach” of secure inferences as abstract datatype constructors in ML [16]; explicit proof terms are also available [8]. Isabelle/Isar provides sophis...
132
click to vote
WACV
2008
IEEE
15 years 10 months ago
2008
IEEE
deliver objects, handle emergency, wherever he/she is inside the home. In addition, the burden of processing We address issues dealing with distributed visual power can be distribu...