940 search results - page 65 / 188 » Local rely-guarantee reasoning |
ICLP
2005
Springer
14 years 3 months ago
2005
Springer
We present a version of the CCP paradigm, which is both distributed and probabilistic. We consider networks with a fixed number of nodes, each of them possessing a local and indep...
ECCV
2010
Springer
14 years 3 months ago
2010
Springer
If you have ever watched movies or television shows, you know how easy it is to tell the good characters from the bad ones. Little, however, is known “whether” or “how” com...
VIIP
2001
13 years 11 months ago
2001
A method for automatic horizon tracking in reflection seismic data images across discontinuities is described. Horizon tracking is an important task of the structural interpretati...
PUK
2000
13 years 11 months ago
2000
Abstract. In the stream of research that aims to speed up practical planners, we propose a new approach to task planning based on Probabilistic Roadmap Methods (PRM). Our contribut...
MP
2011
13 years 4 months ago
2011
We propose a number of techniques for obtaining a global ranking from data that may be incomplete and imbalanced — characteristics that are almost universal to modern datasets co...