8600 search results - page 1473 / 1720 » Measuring with Timed Patterns |
136
click to vote
ALGORITHMICA
2005
15 years 3 months ago
2005
Quorum systems are a mechanism for obtaining fault-tolerance and efficient distributed systems. We consider geographic quorum systems; a geographic quorum system is a partition of...
156
click to vote
AMAI
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. This paper is concerned with the reliable inference of optimal treeapproximations to the dependency structure of an unknown distribution generating data. The traditional ...
133
click to vote
IJRR
2007
15 years 3 months ago
2007
Many algorithms have been proposed that create a path for a robot in an environment with obstacles. Most methods are aimed at finding a solution. However, for many applications, ...
129
click to vote
TAP
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. In recent years, we see a growing awareness to the importance of assessing the quality of specifications. In the context of model checking, this can be done by analyzing ...
135
click to vote
TASLP
2008
15 years 3 months ago
2008
Abstract--During a music performance, the musician adds expressiveness to the musical message by changing timing, dynamics, and timbre of the musical events to communicate an expre...