1421 search results - page 24 / 285 » The First and Second Max-SAT Evaluations |
ICRA
2006
IEEE
14 years 1 months ago
2006
IEEE
— We investigate a technique that uses an embedded network deployed pervasively throughout an environment to aid robots in navigation. First, we show that the path computed by th...
UIST
2006
ACM
14 years 1 months ago
2006
ACM
Volumetric displays, which display imagery in true 3D space, are a promising platform for the display and manipulation of 3D data. To fully leverage their capabilities, appropriat...
WISE
2005
Springer
14 years 1 months ago
2005
Springer
Result merging is a key component in a metasearch engine. Once the results from various search engines are collected, the metasearch system merges them into a single ranked list. T...
ATAL
2003
Springer
14 years 23 days ago
2003
Springer
Traditional goal-oriented approaches to building intelligent agents only consider absolute satisfaction of goals. However, in continuous domains there may be many instances in whi...
ICPP
2002
IEEE
14 years 15 days ago
2002
IEEE
This paper presents Linux/SimOS, a Linux operating system port to SimOS, which is a complete machine simulator from Stanford. The motivation for Linux/SimOS is to alleviate the li...