48 search results - page 6 / 10 » ki 2009 |
67
Voted
KI
2009
Springer
15 years 4 months ago
2009
Springer
When mathematicians present proofs they usually adapt their explanations to their didactic goals and to the (assumed) knowledge of their addressees. Modern automated theorem prover...
83
Voted
KI
2009
Springer
15 years 2 months ago
2009
Springer
The increasing number of spoken dialog systems calls for efficient approaches for their development and testing. Our goal is the minimization of hand-crafted resources to maximize ...
60
Voted
KI
2009
Springer
15 years 4 months ago
2009
Springer
Embodied agents can be a powerful interface for natural human-computer interaction. While graphical realism is steadily increasing, the complexity of believable behavior is still h...
66
Voted
KI
2009
Springer
15 years 4 months ago
2009
Springer
This paper presents a sequential state estimation method with arbitrary probabilistic models expressing the system’s belief. Probabilistic models can be estimated by Maximum a po...
80
Voted
KI
2009
Springer
15 years 4 months ago
2009
Springer
Temporal expressions are important structures in natural language. In order to understand text, temporal expressions have to be extracted and normalized. In this paper we present a...