678 search results - page 127 / 136 » The Theory of Weak Stabilization |
MOC
2000
15 years 5 days ago
2000
Let {Sm} be an infinite sequence whose limit or antilimit S can be approximated very efficiently by applying a suitable extrapolation method E0 to {Sm}. Assume that the Sm and henc...
110
Voted
IJCV
2002
15 years 5 days ago
2002
In this paper we describe the theory and practice of self-calibration of cameras which are fixed in location and may freely rotate while changing their internal parameters by zoomi...
123
Voted
JACM
2002
15 years 2 days ago
2002
We show how to use an interactive theorem prover, HOL, together with a model checker, SPIN, to prove key properties of distance vector routing protocols. We do three case studies: ...
121
Voted
ECRTS
2009
IEEE
14 years 10 months ago
2009
IEEE
Blackouts in our daily life can be disastrous with enormous economic loss. Blackouts usually occur when appropriate corrective actions are not effectively taken for an initial con...
101
click to vote
BC
2010
14 years 9 months ago
2010
We have previously tried to explain perceptual inference and learning under a free-energy principle that pursues Helmholtz's agenda to understand the brain in terms of energy ...