1738 search results - page 236 / 348 » Local Consistency and SAT-Solvers |
169
click to vote
IROS
2006
IEEE
16 years 5 days ago
2006
IEEE
— Robot search and rescue is a time critical task, i.e. a large terrain has to be explored by multiple robots within a short amount of time. The efficiency of exploration depend...
182
Voted
IROS
2006
IEEE
16 years 5 days ago
2006
IEEE
— Scan-matching based on data from a laser scanner is frequently used for mapping and localization. This paper presents an scan-matching approach based instead on visual informat...
160
click to vote
SRDS
2006
IEEE
16 years 4 days ago
2006
IEEE
We consider the problem of ensuring high data availability in federated content sharing systems. Ideally, such a system would provide high data availability in a device transparen...
147
click to vote
SRDS
2006
IEEE
16 years 4 days ago
2006
IEEE
Web services and service oriented architectures are becoming the de facto standard for Internet computing. A main problem faced by users of such services is how to ensure that the...
166
Voted
ADC
2006
Springer
16 years 4 days ago
2006
Springer
Searching bio-chemical structures is becoming an important application domain of information retrieval. This paper introduces a protein structure matching problem and formulates i...