2468 search results - page 338 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
157
Voted
COLT
2001
Springer
15 years 8 months ago
2001
Springer
The Kushilevitz-Mansour (KM) algorithm is an algorithm that finds all the “large” Fourier coefficients of a Boolean function. It is the main tool for learning decision trees ...
142
Voted
IROS
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract— Autonomous estimation of the altitude of an Unmanned Aerial Vehicle (UAV) is extremely important when dealing with flight maneuvers like landing, steady flight, etc. ...
100
Voted
EVOW
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We present a new technique for granular sampling using a pulsecoupled network of spiking artificial neurons to generate grain events. The system plays randomly selected s...
132
click to vote
MASCOTS
2003
15 years 5 months ago
2003
Scalability is the primary challenge to studying large complex network systems with network emulation. This paper studies topology partitioning, assigning disjoint pieces of the n...
153
Voted
HT
2010
ACM
15 years 5 months ago
2010
ACM
We investigate the use of autonomically created small-world graphs as a framework for the long term storage of digital objects on the Web in a potentially hostile environment. We ...