12774 search results - page 2244 / 2555 » A Framework for Proof Systems |
180
click to vote
ICMCS
2005
IEEE
16 years 11 days ago
2005
IEEE
In this paper, we develop a novel real-time, interactive, automatic multimodal exploratory environment that dynamically adapts the media presented, to user context. There are two ...
210
click to vote
ICMCS
2005
IEEE
16 years 11 days ago
2005
IEEE
The software codec on mobile device introduces significant power consumption because the energy efficiency of general processor based system is much lower than that of the dedicat...
204
click to vote
ICRA
2005
IEEE
16 years 11 days ago
2005
IEEE
— This paper presents a robust model-based visual tracking algorithm that can give accurate 3D pose of a rigid object. Our tracking algorithm uses an incremental pose update sche...
221
click to vote
ICRA
2005
IEEE
16 years 11 days ago
2005
IEEE
- It has been shown that in human-robot interaction, the effectiveness of a robot varies inversely with the operator engagement in the task. Given the importance of maintaining opt...
185
click to vote
INFOCOM
2005
IEEE
16 years 11 days ago
2005
IEEE
Abstract— We consider reliable multicast in overlay networks where nodes have finite-size buffers and are subject to failures. We address issues of end-to-end reliability and th...