6608 search results - page 1183 / 1322 » On the Completeness of Model Checking |
162
click to vote
DICTA
2007
15 years 5 months ago
2007
The large shape variability and partial occlusions challenge most object detection and tracking methods for nonrigid targets such as pedestrians. Single camera tracking is limited...
122
click to vote
LREC
2010
15 years 5 months ago
2010
This paper presents a geometric approach to meaning representation within the framework of continuous mathematics. Meaning representation is a central issue in Natural Language Pr...
107
click to vote
LREC
2010
15 years 5 months ago
2010
This paper presents the Kachna Corpus of Spontaneous Speech, in which ten Czech and ten Norwegian speakers were recorded both in their native language and in English. The dialogue...
159
click to vote
NSDI
2010
15 years 5 months ago
2010
MapReduce is a popular framework for data-intensive distributed computing of batch jobs. To simplify fault tolerance, many implementations of MapReduce materialize the entire outp...
156
click to vote
ICONIP
2007
15 years 5 months ago
2007
We propose a technique to make a robot execute free and solitary dance movements on music, in a manner which simulates the dynamic alternations between synchronisation and autonomy...