2607 search results - page 259 / 522 » Complete Functional Synthesis |
126
click to vote
ECAI
2008
Springer
15 years 6 months ago
2008
Springer
We consider multi-robot systems where robots need to cooperate tightly by sharing functionalities with each other. There are methods for automatically configuring a multi-robot sys...
125
click to vote
CASCON
2008
15 years 6 months ago
2008
The process of recognizing individual handwritten characters is one of classifying curves. Typically, handwriting recognition systems-even "online" systems--require enti...
135
click to vote
IJCAI
2007
15 years 6 months ago
2007
In this paper, we propose a new progression mechanism for a restricted form of incomplete knowledge formulated as a basic action theory in the situation calculus. Specifically, w...
145
Voted
NAACL
2004
15 years 5 months ago
2004
End-to-end evaluations of conversational dialogue systems with naive users are currently uncovering severe usability problems that result in low task completion rates. Preliminary...
135
Voted
IWFM
2003
15 years 5 months ago
2003
We outline a possible logic that will allow us to give a unified approach to reasoning about computational effects. The logic is given by extending Moggi’s computational λ-cal...