4752 search results - page 349 / 951 » From computation models to models of provenance: the RWS app... |
235
Voted
SPIN
2004
Springer
16 years 6 days ago
2004
Springer
Most approaches for model checking software are based on ration of abstract models from source code, which may greatly reduce the search space, but may also introduce errors that a...
191
Voted
CAD
2006
Springer
15 years 7 months ago
2006
Springer
For users of CAD data, few things are as frustrating as receiving unusable, poor quality data. Users often waste time fixing or rebuilding such data from scratch on the basis of p...
237
Voted
CVPR
2009
IEEE
17 years 2 months ago
2009
IEEE
We propose a novel probabilistic framework for learning
visual models of 3D object categories by combining appearance
information and geometric constraints. Objects are
represen...
184
Voted
CVPR
2003
IEEE
16 years 9 months ago
2003
IEEE
We present a method for online rigid object tracking using an adaptive view-based appearance model. When the object's pose trajectory crosses itself, our tracker has bounded ...
169
Voted
EVOW
2009
Springer
16 years 1 months ago
2009
Springer
We apply evolutionary computation to calibrate the parameters of a morphogenesis model of Drosophila early development. The model aims to describe the establishment of the steady g...