Sciweavers

3333 search results - page 171 / 667
» Abstract Proof Search
Sort
View
INFOCOM
2009
IEEE
15 years 10 months ago
Absence of Evidence as Evidence of Absence: A Simple Mechanism for Scalable P2P Search
Abstract—We propose a novel search mechanism for unstructured p2p networks, and show that it is both scalable, i.e., it leads to a bounded query traffic load per peer as the pee...
Stratis Ioannidis, Peter Marbach
ERCIMDL
2009
Springer
109views Education» more  ERCIMDL 2009»
15 years 10 months ago
Exploratory Web Searching with Dynamic Taxonomies and Results Clustering
Abstract. This paper proposes exploiting both explicit and mined metadata for enriching Web searching with exploration services. On-line results clustering is useful for providing ...
Panagiotis Papadakos, Stella Kopidaki, Nikos Armen...
ICRA
2006
IEEE
103views Robotics» more  ICRA 2006»
15 years 10 months ago
Heuristic Search for Coordinating Robot Agents in Adversarial Domains
Abstract— This paper presents a search-based, real-time adaptive solution to the multi-robot coordination problem in adversarial environments. By decomposing the global coordinat...
Ilya Levner, Alex Kovarsky, Hong Zhang
CP
2004
Springer
15 years 9 months ago
Constraint-Based Combinators for Local Search
Abstract. One of the most appealing features of constraint programming is its rich constraint language for expressing combinatorial optimization problems. This paper demonstrates t...
Pascal Van Hentenryck, Laurent Michel, Liyuan Liu
IWPC
2003
IEEE
15 years 9 months ago
Handling Large Search Space in Pattern-Based Reverse Engineering
Large industrial legacy systems are challenges of reverseengineering activities. Reverse-engineering approaches use text-search tools based on regular expressions or work on prese...
Jörg Niere, Jörg P. Wadsack, Lothar Wend...