1393 search results - page 112 / 279 » Home, work, (play) |
148
click to vote
ROBOCUP
2005
Springer
16 years 10 days ago
2005
Springer
In robotic soccer a good ball position estimate is essential for successful play. Given the uncertainties in the perception of each individual robot, merging the local perceptions ...
185
click to vote
TARK
2005
Springer
16 years 10 days ago
2005
Springer
: Two difficult issues for the logic of knowledge have been logical omniscience and common knowledge. Our existing logics of knowledge based on Kripke structures seem to justify lo...
156
click to vote
NORDICHI
2004
ACM
16 years 9 days ago
2004
ACM
Systems development is replete with projects that represent substantial resource investments but result in systems that fail to meet users’ needs. Evidence-based development is ...
155
click to vote
ICALP
2004
Springer
16 years 7 days ago
2004
Springer
We first consider infinite two-player games on pushdown graphs. In previous work, Cachat, Duparc and Thomas [4] have presented a winning decidable condition that is Σ3-complete ...
176
click to vote
IEAAIE
2004
Springer
16 years 7 days ago
2004
Springer
This work presents the application of a first-order logic incremental learning system, INTHELEX, to learn rules for the automatic identification of a wide range of significant docu...