Sciweavers

8294 search results - page 1372 / 1659
» Presenting Data from Experiments in Algorithmics
Sort
View
IEEEARES
2009
IEEE
16 years 2 months ago
Perfect Failure Detection in the Partitioned Synchronous Distributed System Model
—In this paper we show that it is possible to implement a perfect failure detector P (one that detects all faulty processes if and only if those processes failed) in a non-synchr...
Raimundo José de Araújo Macêdo...
BTW
2009
Springer
127views Database» more  BTW 2009»
16 years 1 months ago
In-Network Detection of Anomaly Regions in Sensor Networks with Obstacles
: In the past couple of years, sensor networks have evolved to a powerful infrastructure component for monitoring and tracking events and phenomena in many application domains. An ...
Conny Franke, Marcel Karnstedt, Daniel Klan, Micha...
TASE
2007
IEEE
16 years 1 months ago
Symmetry Reduced Model Checking for B
Symmetry reduction is a technique that can help alleviate the problem of state space explosion in model checking. The idea is to verify only a subset of states from each class (or...
Edd Turner, Michael Leuschel, Corinna Spermann, Mi...
AUSAI
2007
Springer
16 years 1 months ago
The Detrimentality of Crossover
The traditional concept of a genetic algorithm (GA) is that of selection, crossover and mutation. However, a limited amount of data from the literature has suggested that the nich...
Andrew Czarn, Cara MacNish, Kaipillil Vijayan, Ber...
MM
2006
ACM
162views Multimedia» more  MM 2006»
16 years 1 months ago
An innovative three-dimensional user interface for exploring music collections enriched
We present a novel, innovative user interface to music repositories. Given an arbitrary collection of digital music files, our system creates a virtual landscape which allows the...
Peter Knees, Markus Schedl, Tim Pohle, Gerhard Wid...
« Prev « First page 1372 / 1659 Last » Next »