Sciweavers

2714 search results - page 209 / 543
» Under the table interaction
Sort
View
HRI
2010
ACM
15 years 9 months ago
Transparent active learning for robots
—This research aims to enable robots to learn from human teachers. Motivated by human social learning, we believe that a transparent learning process can help guide the human tea...
Crystal Chao, Maya Cakmak, Andrea Lockerd Thomaz
IUI
2003
ACM
15 years 9 months ago
Towards more conversational and collaborative recommender systems
Current recommender systems, based on collaborative filtering, implement a rather limited model of interaction. These systems intelligently elicit information from a user only dur...
Giuseppe Carenini, Jocelyin Smith, David Poole
ASYNC
1999
IEEE
136views Hardware» more  ASYNC 1999»
15 years 8 months ago
A Counterflow Pipeline Experiment
The counterflow pipeline architecture [12] consists of two interacting pipelines in which data items flow in opposite directions. Interactions occur between two items when they me...
Bill Coates, Jo C. Ebergen, Jon K. Lexau, Scott Fa...
135
Voted
TPHOL
1999
IEEE
15 years 8 months ago
Isar - A Generic Interpretative Approach to Readable Formal Proof Documents
Abstract. We present a generic approach to readable formal proof documents, called Intelligible semi-automated reasoning (Isar). It addresses the major problem of existing interact...
Markus Wenzel
106
Voted
APSEC
1997
IEEE
15 years 8 months ago
A Test-case Generation Method for Concurrent Programs Including Task-types
A task-type in concurrent programs is a template of task-instances which are dynamically generated in execution of the programs. The number of the generated taskinstances may not ...
Tetsuro Katayama, Zengo Furukawa, Kazuo Ushijima