Sciweavers

32 search results - page 7 / 7
» Sampling Alignment Structure under a Bayesian Translation Mo...
Sort
View
142
Voted
EMSOFT
2011
Springer
14 years 1 months ago
Model-checking behavioral programs
System specifications are often structured as collections of scenarios and use-cases that describe desired and forbidden sequences of events. A recently proposed behavioral progr...
David Harel, Robby Lampert, Assaf Marron, Gera Wei...
122
Voted
ICCV
2003
IEEE
16 years 4 months ago
Real-Time Simultaneous Localisation and Mapping with a Single Camera
Ego-motion estimation for an agile single camera moving through general, unknown scenes becomes a much more challenging problem when real-time performance is required rather than ...
Andrew J. Davison