Sciweavers

3333 search results - page 404 / 667
» Abstract Proof Search
Sort
View
IROS
2007
IEEE
142views Robotics» more  IROS 2007»
16 years 26 days ago
Decentralized SLAM for pedestrians without direct communication
Abstract— We consider the problem of Decentralized Simultaneous Localization And Mapping (DSLAM) for pedestrians in the context of Urban Search And Rescue (USAR). In this context...
Alexander Kleiner, Dali Sun
SAMT
2007
Springer
203views Multimedia» more  SAMT 2007»
16 years 21 days ago
A Generic Framework for Semantic Medical Image Retrieval
Performing simple keyword-based search has long been the only way to access information. But for a truly comprehensive search on multimedia data, this approach is no longer sucien...
Manuel Möller, Michael Sintek
SAT
2007
Springer
181views Hardware» more  SAT 2007»
16 years 21 days ago
Breaking Symmetries in SAT Matrix Models
Abstract. Symmetry occurs naturally in many computational problems. The use of symmetry breaking techniques for solving search problems reduces the search space and therefore is ex...
Inês Lynce, João P. Marques Silva
SPIRE
2007
Springer
16 years 21 days ago
Approximate String Matching with Lempel-Ziv Compressed Indexes
Abstract. A compressed full-text self-index for a text T is a data structure requiring reduced space and able of searching for patterns P in T. Furthermore, the structure can repro...
Luís M. S. Russo, Gonzalo Navarro, Arlindo ...
CEC
2005
IEEE
16 years 6 days ago
Dynamic niching in evolution strategies with covariance matrix adaptation
Abstract- Evolutionary Algorithms (EAs) have the tendency to converge quickly into a single solution in the search space. However, many complex search problems require the identiï¬...
Ofer M. Shir, Thomas Bäck