Sciweavers

500 search results - page 33 / 100
» Improving Search in Peer-to-Peer Networks
Sort
View
CADE
2006
Springer
14 years 8 months ago
Inferring Network Invariants Automatically
Abstract. Verification by network invariants is a heuristic to solve uniform verification of parameterized systems. Given a system P, a network invariant for P is that abstracts th...
Olga Grinchtein, Martin Leucker, Nir Piterman
APIN
2007
118views more  APIN 2007»
13 years 8 months ago
Using genetic algorithms to reorganize superpeer structure in peer to peer networks
In this thesis, we describe a genetic algorithm for optimizing the superpeer structure of semantic peer to peer networks. Peer to peer, also called P2P, networks enable us to sear...
Jaymin Kessler, Khaled Rasheed, Ismailcem Budak Ar...
ICRA
2007
IEEE
175views Robotics» more  ICRA 2007»
14 years 2 months ago
A Decision-Making Framework for Control Strategies in Probabilistic Search
Abstract— This paper presents the search problem formulated as a decision problem, where the searcher decides whether the target is present in the search region, and if so, where...
Timothy H. Chung, Joel W. Burdick
SAMT
2007
Springer
171views Multimedia» more  SAMT 2007»
14 years 2 months ago
SAPIR: Scalable and Distributed Image Searching
—In this paper we present a scalable and distributed system for image retrieval based on visual features and annotated text. This system is the core of the SAPIR project. Its arc...
Fabrizio Falchi, Mouna Kacimi, Yosi Mass, Fausto R...
WECWIS
2007
IEEE
131views ECommerce» more  WECWIS 2007»
14 years 2 months ago
Event Cloud - Searching for Correlated Business Events
Market players that can respond to critical business events faster than their competitors will end up as winners in the fast moving economy. Event-based systems have been develope...
Szabolcs Rozsnyai, Roland Vecera, Josef Schiefer, ...