9359 search results - page 437 / 1872 » Generalization Algorithms for Second-Order Terms |
161
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
Dora the Explorer is a mobile robot with a sense of curiosity and a drive to explore its world. Given an incomplete tour of an indoor environment, Dora is driven by internal motiv...
145
click to vote
CLEF
2009
Springer
15 years 7 months ago
2009
Springer
Our approach to the Log Analysis for Digital Societies (LADS) task of LogCLEF 2009 is to define three different levels of performance: success, failure and strong failure. To inve...
183
click to vote
CLEF
2009
Springer
15 years 7 months ago
2009
Springer
In this paper we will briefly describe the approaches taken by the Berkeley Cheshire Group for the GikiCLEF task of the QA track. Because the task was intended to model some aspec...
160
click to vote
CCR
2008
15 years 6 months ago
2008
A major contribution to global warming has been the number of new workshops publishing proceedings with the prefix hot. In this article, I propose that we counter this trend in an...
176
click to vote
SIGSOFT
2010
ACM
15 years 4 months ago
2010
ACM
We present a novel technique for synthesising behaviour models that works for an expressive subset of liveness properties and conforms to the foundational requirements engineering...