2215 search results - page 227 / 443 » Wide open spaces |
141
click to vote
ISNN
2005
Springer
16 years 1 days ago
2005
Springer
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...
174
click to vote
SAT
2005
Springer
16 years 23 hour ago
2005
Springer
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...
167
click to vote
VOSS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Randomization is of paramount importance in practical applications and randomized algorithms are used widely, for example in co-ordinating distributed computer networks, ...
174
click to vote
ECAL
2003
Springer
15 years 11 months ago
2003
Springer
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...
164
click to vote
IPTPS
2003
Springer
15 years 11 months ago
2003
Springer
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...