4099 search results - page 514 / 820 » A Framework for Interactive Proof |
216
Voted
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...
441
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 ...
175
Voted
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 ...
191
click to vote
IROS
2007
IEEE
16 years 1 months 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...
185
click to vote
KI
2007
Springer
16 years 1 months 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...