Sciweavers

3600 search results - page 266 / 720
» Conversational intelligence analysis
Sort
View
KI
2010
Springer
14 years 11 months ago
eSLAM - Self Localisation and Mapping Using Embodied Data
Autonomous mobile robots have the potential to change our everyday life. Unresolved challenges which span a large spectrum of artificial intelligence research need to be answered t...
Jakob Schwendner, Frank Kirchner
149
Voted
AIED
2009
Springer
15 years 11 months ago
Knowledge Co-construction and Initiative in Peer Learning Interactions
The aim of the project we discuss in this paper is to develop a computational model of peer learning. We present an extensive analysis of peer learning dialogues, analysis on which...
Cynthia Kersey, Barbara Di Eugenio, Pamela W. Jord...
151
Voted
TABLEAUX
2009
Springer
15 years 11 months ago
Goal-Directed Invariant Synthesis for Model Checking Modulo Theories
We are interested in automatically proving safety properties of infinite state systems. We present a technique for invariant synthesis which can be incorporated in backward reacha...
Silvio Ghilardi, Silvio Ranise
APN
2005
Springer
15 years 10 months ago
Particle Petri Nets for Aircraft Procedure Monitoring Under Uncertainty
In the framework of the study and analysis of new flight procedures, we propose a new Petri net-based formalism to represent both continuous and discrete evolutions and uncertaint...
Charles Lesire, Catherine Tessier
MICAI
2004
Springer
15 years 10 months ago
Automatic Enrichment of Very Large Dictionary of Word Combinations on the Basis of Dependency Formalism
The paper presents a method of automatic enrichment of a very large dictionary of word combinations. The method is based on results of automatic syntactic analysis (parsing) of sen...
Alexander F. Gelbukh, Grigori Sidorov, Sang-Yong H...