Sciweavers

1180 search results - page 103 / 236
» A generic structure-from-motion framework
Sort
View
VMCAI
2012
Springer
13 years 6 months ago
Ideal Abstractions for Well-Structured Transition Systems
stractions for Well-Structured Transition Systems Damien Zufferey1 , Thomas Wies2 , and Thomas A. Henzinger1 1 IST Austria 2 New York University Many infinite state systems can be...
Damien Zufferey, Thomas Wies, Thomas A. Henzinger
KBSE
2006
IEEE
15 years 4 months ago
Effective Generation of Interface Robustness Properties for Static Analysis
A software system interacts with its environment through system interfaces. Robustness of software systems are governed by various temporal properties related to these interfaces,...
Mithun Acharya, Tanu Sharma, Jun Xu, Tao Xie
CVPR
2010
IEEE
14 years 11 months ago
Free-form mesh tracking: A patch-based approach
In this paper, we consider the problem of tracking nonrigid surfaces and propose a generic data-driven mesh deformation framework. In contrast to methods using strong prior models...
Cedric Cagniart, Edmond Boyer, Slobodan Ilic
JISE
2006
73views more  JISE 2006»
14 years 10 months ago
TeMeFr: Towards a Reuse-Based Development for Conference-Oriented Telemedicine Systems
formation driven paradigm that tends to fail in capturing suitable abstraction when developing conference-oriented telemedicine systems for assisting the proceeding of telemedicine...
Hewijin Christine Jiau, Jinghong Cox Chen, Kuo-Fen...
INFOCOM
2011
IEEE
14 years 2 months ago
Sensor localization with deterministic accuracy guarantee
—Localizability of network or node is an important subproblem in sensor localization. While rigidity theory plays an important role in identifying several localizability conditio...
Ryo Sugihara, Rajesh K. Gupta