1672 search results - page 212 / 335 » Interactive Mathematical Documents |
141
click to vote
IJCV
1998
15 years 4 months ago
1998
The structure-from-motion problem has been extensively studied in the field of computer vision. Yet, the bulk of the existing work assumes that the scene contains only a single mo...
141
click to vote
TVCG
1998
15 years 4 months ago
1998
—Recently, multiresolution visualization methods have become an indispensable ingredient of real-time interactive postprocessing. The enormous databases, typically coming along w...
132
click to vote
CORR
2011
Springer
14 years 8 months ago
2011
Springer
The predominant knowledge-based approach to automated model construction, compositional modelling, employs a set of models of particular functional components. Its inference mecha...
175
click to vote
LICS
2012
IEEE
13 years 7 months ago
2012
IEEE
—We study the logic of dynamical systems, that is, logics and proof principles for properties of dynamical systems. Dynamical systems are mathematical models describing how the s...
135
click to vote
IFIPTCS
2000
15 years 8 months ago
2000
Masaccio is a formal model for hybrid dynamical systems which are built from atomic discrete components (di erence equations) and atomic continuous components (di erential equation...