1638 search results - page 159 / 328 » Properties of input-consuming derivations |
150
click to vote
ENTCS
2007
15 years 6 months ago
2007
The event B method provides a general framework for modelling both data structures and algorithms. B models are validated by discharging proof obligations ensuring safety properti...
133
click to vote
JSAC
2006
15 years 6 months ago
2006
We propose an ultra-wideband (UWB) scheme that employs chirp waveforms. Signals satisfying the Federal Communications Commission (FCC) requirements for UWB applications are formed ...
154
click to vote
PAMI
2008
15 years 6 months ago
2008
A randomized model verification strategy for RANSAC is presented. The proposed method finds, like RANSAC, a solution that is optimal with user-specified probability. The solution i...
175
click to vote
PAMI
2006
15 years 6 months ago
2006
Visual surveillance using multiple cameras has attracted increasing interest in recent years. Correspondence between multiple cameras is one of the most important and basic problem...
144
click to vote
SIAMAM
2008
15 years 6 months ago
2008
We consider the problem of calculating resonance frequencies and radiative losses of an optical resonator. The optical resonator is in the form of a thin membrane with variable die...