2880 search results - page 314 / 576 » Approximate Range Searching |
142
Voted
ICRA
2002
IEEE
15 years 8 months ago
2002
IEEE
—The simultaneous localization and map building (SLAM) problem asks if it is possible for an autonomous vehicle to start in an unknown location in an unknown environment and then...
142
Voted
EUROCAST
2007
Springer
15 years 7 months ago
2007
Springer
Abstract Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulas on the program variables. Most of m...
113
click to vote
ECIR
2008
Springer
15 years 5 months ago
2008
Springer
Information retrieval is an empirical science; the field cannot move forward unless there are means of evaluating the innovations devised by researchers. However the methodologies...
187
Voted
IAAI
2003
15 years 4 months ago
2003
The Broadcast News Editor (BNE) and Broadcast News Navigator (BNN) are fully implemented systems that exploit integrated image, speech, and language processing to support intellig...
138
Voted
TVCG
2008
15 years 3 months ago
2008
This paper describes the integration of perceptual guidelines from human vision with an AI-based mixed-initiative search strategy. The result is a visualization assistant called Vi...