1306 search results - page 58 / 262 » A Diagrammatic Approach to Model Completion |
93
Voted
ECCV
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Planar patches are a very compact and stable intermediate representation of 3D scenes, as they are a good starting point for a complete automatic reconstruction of surfac...
ENTCS
2006
15 years 17 days ago
2006
This paper gives an overview of recent results concerning the modular derivation of (i) modal specification logics, (ii) notions of simulation together with logical characterisati...
111
Voted
QEST
2010
IEEE
14 years 10 months ago
2010
IEEE
Discrete-Time Markov Chains (DTMCs) are a widely-used formalism to model probabilistic systems. On the one hand, available tools like PRISM or MRMC offer efficient model checking a...
MICCAI
2002
Springer
16 years 1 months ago
2002
Springer
The use of statistical shape models is a promising approach for robust segmentation of medical images. One of the major challenges in building a 3D shape model from a training set ...
96
Voted
ICCV
2007
IEEE
15 years 6 months ago
2007
IEEE
Abstract. We present a completely autonomous algorithm for the real-time creation of a moving subject’s kinematic model from optical motion capture data and with no a priori info...