Sciweavers

437 search results - page 55 / 88
» Models and the locus of their truth
Sort
View
SOFSEM
2007
Springer
14 years 1 months ago
Games, Time, and Probability: Graph Models for System Design and Analysis
Digital technology is increasingly deployed in safety-critical situations. This calls for systematic design and verification methodologies that can cope with three major sources o...
Thomas A. Henzinger
ECCV
2010
Springer
13 years 6 months ago
Sequential Non-Rigid Structure-from-Motion with the 3D-Implicit Low-Rank Shape Model
So far the Non-Rigid Structure-from-Motion problem has been tackled using a batch approach. All the frames are processed at once after the video acquisition takes place. In this pa...
Marco Paladini, Adrien Bartoli, Lourdes de Agapito
CIKM
2011
Springer
12 years 7 months ago
Simultaneous joint and conditional modeling of documents tagged from two perspectives
This paper explores correspondence and mixture topic modeling of documents tagged from two different perspectives. There has been ongoing work in topic modeling of documents with...
Pradipto Das, Rohini K. Srihari, Yun Fu
IROS
2009
IEEE
186views Robotics» more  IROS 2009»
14 years 2 months ago
A statistical approach to gas distribution modelling with mobile robots - The Kernel DM+V algorithm
— Gas distribution modelling constitutes an ideal application area for mobile robots, which – as intelligent mobile gas sensors – offer several advantages compared to station...
Achim J. Lilienthal, Matteo Reggente, Marco Trinca...
MICCAI
2008
Springer
14 years 8 months ago
LV Motion and Strain Computation from tMRI Based on Meshless Deformable Models
Tagged Magnetic Resonance Imaging (tMRI) is a non-invasive way of tracking the in-vivo myocardial motion during cardiac cycles. Tags are material points which deform along the myo...
Xiaoxu Wang, Ting Chen, Shaoting Zhang, Dimitri...