Sciweavers

434 search results - page 35 / 87
» Popup: automatic paper architectures from 3D models
Sort
View
FORTE
2004
13 years 9 months ago
Model-Checking Plus Testing: From Software Architecture Analysis to Code Testing
Software Model-Checking and Testing are some of the most used techniques to analyze software systems and identify hidden faults. While software model-checking allows for an exhaust...
Antonio Bucchiarone, Henry Muccini, Patrizio Pelli...
SPAA
1996
ACM
13 years 12 months ago
From AAPC Algorithms to High Performance Permutation Routing and Sorting
Several recent papers have proposed or analyzed optimal algorithms to route all-to-all personalizedcommunication (AAPC) over communication networks such as meshes, hypercubes and ...
Thomas Stricker, Jonathan C. Hardwick
ICCV
2007
IEEE
14 years 9 months ago
A systematic approach for 2D-image to 3D-range registration in urban environments
The photorealistic modeling of large-scale objects, such as urban scenes, requires the combination of range sensing technology and digital photography. In this paper, we attack th...
Lingyun Liu, Ioannis Stamos
ICASSP
2009
IEEE
14 years 2 months ago
Registration of multimodal data for estimating the parameters of an articulatory model
Being able to animate a speech production model with articulatory data would open applications in many domains. In this paper, we first consider the problem of acquiring articula...
M. Aron, Asterios Toutios, M.-O. Berger, E. Kerrie...
ECCV
2006
Springer
13 years 11 months ago
View-Invariant Modeling and Recognition of Human Actions Using Grammars
In this paper, we represent human actions as short sequences of atomic body poses. The knowledge of body pose is stored only implicitly as a set of silhouettes seen from multiple ...
Abhijit S. Ogale, Alap Karapurkar, Yiannis Aloimon...