Sciweavers

805 search results - page 56 / 161
» Solving Consensus Using Structural Failure Models
Sort
View
112
Voted
SSS
2007
Springer
121views Control Systems» more  SSS 2007»
15 years 8 months ago
Byzantine Self-stabilizing Pulse in a Bounded-Delay Model
Abstract. “Pulse Synchronization” intends to invoke a recurring distributed event at the different nodes, of a distributed system as simultaneously as possible and with a freq...
Danny Dolev, Ezra N. Hoch
114
Voted
ECAI
2008
Springer
15 years 4 months ago
Incremental Diagnosis of DES by Satisfiability
Abstract. We propose a SAT-based algorithm for incremental diagnosis of discrete-event systems. The monotonicity is ensured by a prediction window that uses the future observations...
Alban Grastien, Anbulagan
140
Voted
PAMI
2006
173views more  PAMI 2006»
15 years 2 months ago
Structure from Motion with Wide Circular Field of View Cameras
This paper presents a method for fully automatic and robust estimation of two-view geometry, autocalibration, and 3D metric reconstruction from point correspondences in images take...
Branislav Micusík, Tomás Pajdla
103
Voted
GECCO
2004
Springer
15 years 8 months ago
Validating a Model of Colon Colouration Using an Evolution Strategy with Adaptive Approximations
The colour of colon tissue, which depends on the tissue structure, its optical properties, and the quantities of the pigments present in it, can be predicted by a physics-based mod...
Dzena Hidovic, Jonathan E. Rowe
164
Voted
IWCM
2004
Springer
15 years 8 months ago
Tracking Complex Objects Using Graphical Object Models
We present a probabilistic framework for component-based automatic detection and tracking of objects in video. We represent objects as spatio-temporal two-layer graphical models, w...
Leonid Sigal, Ying Zhu, Dorin Comaniciu, Michael J...