Sciweavers

2215 search results - page 227 / 443
» Wide open spaces
Sort
View
ISNN
2005
Springer
15 years 6 months ago
Advanced Visualization Techniques for Self-organizing Maps with Graph-Based Methods
The Self-Organizing Map is a popular neural network model for data analysis, for which a wide variety of visualization techniques exists. We present a novel technique that takes th...
Georg Pölzlbauer, Andreas Rauber, Michael Dit...
SAT
2005
Springer
123views Hardware» more  SAT 2005»
15 years 6 months ago
Bounded Model Checking with QBF
Current algorithms for bounded model checking (BMC) use SAT methods for checking satisfiability of Boolean formulas. These BMC methods suffer from a potential memory explosion prob...
Nachum Dershowitz, Ziyad Hanna, Jacob Katz
VOSS
2004
Springer
135views Mathematics» more  VOSS 2004»
15 years 6 months ago
Analysing Randomized Distributed Algorithms
Abstract. Randomization is of paramount importance in practical applications and randomized algorithms are used widely, for example in co-ordinating distributed computer networks, ...
Gethin Norman
106
Voted
ECAL
2003
Springer
15 years 6 months ago
First Steps in Evolving Path Integration in Simulation
Abstract. Path integration is a widely used method of navigation in nature whereby an animal continuously tracks its location by integrating its motion over the course of a journey...
Robert Vickerstaff
102
Voted
IPTPS
2003
Springer
15 years 6 months ago
Structured Peer-to-Peer Overlays Need Application-Driven Benchmarks
Considerable research effort has recently been devoted to the design of structured peer-to-peer overlays, a term we use to encompass Content-Addressable Networks (CANs), Distribut...
Sean C. Rhea, Timothy Roscoe, John Kubiatowicz