Sciweavers

867 search results - page 57 / 174
» A Model for Dynamic Shape and Its Applications
Sort
View
115
Voted
IJCAI
2003
15 years 1 months ago
Formal Verification of Diagnosability via Symbolic Model Checking
This paper addresses the formal verification of diagnosis systems. We tackle the problem of diagnosability: given a partially observable dynamic system, and a diagnosis system obs...
Alessandro Cimatti, Charles Pecheur, Roberto Cavad...
91
Voted
ADBIS
2006
Springer
109views Database» more  ADBIS 2006»
15 years 6 months ago
Content Is Capricious: A Case for Dynamic System Generation
Abstract. Database modeling is based on the assumption of a high regularity of its application areas, an assumption which applies to both the structure of data and the behavior of ...
Hans-Werner Sehring, Sebastian Bossung, Joachim W....
73
Voted
MVA
2007
112views Computer Vision» more  MVA 2007»
15 years 1 months ago
A Physics-Based Imaging Model of Scanning Electron Microscopes
This paper discusses a physics-based imaging model of scanning electron microscopes (SEM). The purpose is to accurately examine the imaging process of a SEM, which has to be neces...
Kousuke Kamada, Takayuki Okatani, Koichiro Deguchi
CVPR
2003
IEEE
16 years 2 months ago
Using Multiple Cues for Hand Tracking and Model Refinement
We present a model based approach to the integration of multiple cues for tracking high degree of freedom articulated motions and model refinement. We then apply it to the problem...
Shan Lu, Dimitris N. Metaxas, Dimitris Samaras, Jo...
ICRA
2009
IEEE
232views Robotics» more  ICRA 2009»
15 years 7 months ago
Modeling deformable shell-like objects grasped by a robot hand
Abstract— This paper models (large) deformations of shelllike objects under the grasping of a robot hand. Classical nonlinear theory of thin shells [21, pp. 186-194] is generaliz...
Jiang Tian, Yan-Bin Jia