Sciweavers

1664 search results - page 71 / 333
» Making a Case for Multi-Agent Systems
Sort
View
IUI
2003
ACM
15 years 9 months ago
Evolution of user interaction: the case of agent adele
Animated pedagogical agents offer promise as a means of making computer-aided learning more engaging and effective. To achieve this, an agent must be able to interact with the lea...
W. Lewis Johnson, Erin Shaw, Andrew Marshall, Cath...
KR
2010
Springer
15 years 9 months ago
Worst-Case Optimal Reasoning for the Horn-DL Fragments of OWL 1 and 2
Horn fragments of Description Logics (DLs) have gained popularity because they provide a beneficial trade-off between expressive power and computational complexity and, more spec...
Magdalena Ortiz, Sebastian Rudolph, Mantas Simkus
ICRA
2005
IEEE
135views Robotics» more  ICRA 2005»
15 years 9 months ago
Virtual Power Limiter System which Guarantees Stability of Control Systems
Abstract— In this paper, Virtual Power Limiter System is proposed. This makes it possible to guarantee the stability of almost all control systems which include unknown character...
Katsuya Kanaoka, Mitsunori Uemura
122
Voted
EWCBR
2006
Springer
15 years 7 months ago
What Evaluation Criteria Are Right for CCBR? Considering Rank Quality
Abstract. Evaluation criteria for conversational CBR (CCBR) systems are important to guide development and tuning of new methods, and to enable practitioners to make informed decis...
Steven Bogaerts, David B. Leake
DSVIS
1998
Springer
15 years 8 months ago
The Role of Verification in Interactive Systems Design
Abstract. In this paper we argue that using verification in interactive systems development is more than just checking whether the specification of the system has all the required ...
José Creissac Campos, Michael D. Harrison