Sciweavers

AAAI
2004
14 years 1 months ago
SCoT: A Spoken Conversational Tutor
We describe SCoT, a Spoken Conversational Tutor, which has been implemented in order to investigate the advantages of natural language in tutoring, especially spoken language. SCo...
Karl Schultz, Brady Clark, Heather Pon-Barry, Eliz...
AAAI
2006
14 years 1 months ago
Embedding Heterogeneous Data Using Statistical Models
Embedding algorithms are a method for revealing low dimensional structure in complex data. Most embedding algorithms are designed to handle objects of a single type for which pair...
Amir Globerson, Gal Chechik, Fernando Pereira, Naf...
AAAI
2004
14 years 1 months ago
Study of Lower Bound Functions for MAX-2-SAT
Recently, several lower bound functions are proposed for solving the MAX-2-SAT problem optimally in a branch-and-bound algorithm. These lower bounds improve significantly the perf...
Haiou Shen, Hantao Zhang
AAAI
2006
14 years 1 months ago
Exploiting Tree Decomposition and Soft Local Consistency In Weighted CSP
Simon de Givry, Thomas Schiex, Gérard Verfa...
AAAI
2006
14 years 1 months ago
On the Update of Description Logic Ontologies at the Instance Level
Giuseppe De Giacomo, Maurizio Lenzerini, Antonella...
AAAI
2004
14 years 1 months ago
Useful Roles of Emotions in Artificial Agents: A Case Study from Artificial Life
In this paper, we discuss the role of emotions in AI and possible ways to determine their utility for the design of artificial agents. We propose a research methodology for determ...
Matthias Scheutz
AAAI
2006
14 years 1 months ago
Length-Lex Ordering for Set CSPs
Carmen Gervet, Pascal Van Hentenryck
AAAI
2006
14 years 1 months ago
Incremental Least-Squares Temporal Difference Learning
Alborz Geramifard, Michael H. Bowling, Richard S. ...