3573 search results - page 703 / 715 » Reasoning about Codata |
DIS
2010
Springer
13 years 7 months ago
2010
Springer
How to achieve shared meaning is a significant issue when more than one intelligent agent is involved in the same domain. We define the task of concept convergence, by which intell...
EMNLP
2010
13 years 7 months ago
2010
We define a probabilistic morphological analyzer using a data-driven approach for Syriac in order to facilitate the creation of an annotated corpus. Syriac is an under-resourced S...
ICCAD
2010
IEEE
13 years 7 months ago
2010
IEEE
State-based model checking methods comprise computing and storing reachable states, while stateless model checking methods directly reason about reachable paths using decision proc...
ICMI
2010
Springer
13 years 7 months ago
2010
Springer
Identifying verbally and non-verbally referred-to objects is an important aspect of human-robot interaction. Most importantly, it is essential to achieve a joint focus of attentio...
ICRA
2010
IEEE
13 years 7 months ago
2010
IEEE
A helicopter agent has to plan trajectories to track multiple ground targets from the air. The agent has partial information of each target's pose, and must reason about its u...