4099 search results - page 514 / 820 » A Framework for Interactive Proof |
188
click to vote
SRDS
2008
IEEE
16 years 1 months ago
2008
IEEE
We identify here various kinds of failure conditions and robustness issues that arise in context-aware pervasive computing applications. Such conditions are related to failures in...
412
click to vote
SYNASC
2008
IEEE
16 years 1 months ago
2008
IEEE
Service Oriented Architectures draw heavily on techniques for reusing and assembling off-the-shelf software components. While powerful, this programming practice is not without a ...
155
click to vote
COLCOM
2007
IEEE
16 years 1 months ago
2007
IEEE
—Co-located collaboration in classroom is the topic we tackle in this paper. We present COFFEE a tailorable collaborative environment that is designed for interactive, colocated ...
165
Voted
IROS
2007
IEEE
16 years 29 days ago
2007
IEEE
— In this paper we build an imitation learning algorithm for a humanoid robot on top of a general world model provided by learned object affordances. We consider that the robot h...
158
click to vote
KI
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. We provide an interactive method for knowledge acquisition combining approaches from description logic and formal concept analysis. Based on present data, hypothetical ru...