1569 search results - page 254 / 314 » Towards the interactive office |
ICMCS
2008
IEEE
15 years 4 months ago
2008
IEEE
Expressive audio-visual synthetic characters are increasingly employed in research and commercial applications. However, the mechanism that people employ to interpret conflicting...
86
Voted
IROS
2008
IEEE
15 years 4 months ago
2008
IEEE
Abstract— We present as a contribution to the field of humanmachine interaction a system that analyzes human movements online through multiple observers, based on the concept of...
NOMS
2008
IEEE
15 years 4 months ago
2008
IEEE
—Automatic service and application deployment and management is becoming possible through the use of service and infrastructure discovery and policy systems. But using the infras...
CEC
2007
IEEE
15 years 4 months ago
2007
IEEE
Abstract— For the past decade or so, evolutionary multiobjective optimization (EMO) methodologies have earned wide popularity for solving complex practical optimization problems,...
105
Voted
LICS
2007
IEEE
15 years 4 months ago
2007
IEEE
The combination of first-order epistemic logic and formal cryptography offers a potentially very powerful framework for security protocol verification. In this article, we addre...