5718 search results - page 238 / 1144 » Modeling Rule Precision |
198
click to vote
ICIP
2007
IEEE
16 years 8 months ago
2007
IEEE
Motion information scalability is an important requirement for a fully scalable video codec, especially in low bit rate or small resolution decoding scenarios. So far, several lay...
183
click to vote
AMAI
2010
Springer
15 years 4 months ago
2010
Springer
Abstract We present a new approximate verification technique for falsifying the invariants of B models. The technique employs symmetry of B models induced by the use of deferred se...
182
click to vote
ICCV
2003
IEEE
16 years 8 months ago
2003
IEEE
3D Morphable Models, as a means to generate images of a class of objects and to analyze them, have become increasingly popular. The problematic part of this framework is the regis...
176
click to vote
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
— In order to construct three-dimensional shape models of large-scale architectural structures using a laser range finder, a number of range images are taken from various viewpo...
161
click to vote
CAV
2007
Springer
16 years 23 days ago
2007
Springer
We present Hector, a software tool for combining different abstraction methods to extract sound models of heap-manipulating imperative programs with recursion. Extracted models ma...