Sciweavers

1265 search results - page 103 / 253
» Algorithms for Drawing Media
Sort
View
CAV
2001
Springer
154views Hardware» more  CAV 2001»
15 years 7 months ago
Automated Verification of a Randomized Distributed Consensus Protocol Using Cadence SMV and PRISM
We consider the randomized consensus protocol of Aspnes and Herlihy for achieving agreement among N asynchronous processes that communicate via read/write shared registers. The alg...
Marta Z. Kwiatkowska, Gethin Norman, Roberto Segal...
ICML
2006
IEEE
16 years 4 months ago
Estimating relatedness via data compression
We show that it is possible to use data compression on independently obtained hypotheses from various tasks to algorithmically provide guarantees that the tasks are sufficiently r...
Brendan Juba
107
Voted
IROS
2009
IEEE
111views Robotics» more  IROS 2009»
15 years 10 months ago
Filtering voluntary motion for pathological tremor compensation
— This paper describes an algorithm to estimate tremor and voluntary motion from measured motion data. Estimation is performed by means of an extended Kalman filter (EKF), which...
Antônio Padilha Lanari Bo, Philippe Poignet,...
103
Voted
ICPR
2008
IEEE
15 years 10 months ago
Resolution enhancement for binocular stereo
Traditional stereo algorithms estimate disparity at the same resolution as the observations. In this work we address the problem of estimating disparity and occlusion information ...
Arnav V. Bhavsar, A. N. Rajagopalan
SYNASC
2008
IEEE
300views Algorithms» more  SYNASC 2008»
15 years 10 months ago
A Theory of Adaptable Contract-Based Service Composition
Service Oriented Architectures draw heavily on techniques for reusing and assembling off-the-shelf software components. While powerful, this programming practice is not without a ...
Giovanni Bernardi, Michele Bugliesi, Damiano Maced...