Sciweavers

5945 search results - page 375 / 1189
» A Model for Projection and Action
Sort
View
DAC
2006
ACM
16 years 8 months ago
Fast analysis of structured power grid by triangularization based structure preserving model order reduction
In this paper, a Triangularization Based Structure preserving (TBS) model order reduction is proposed to verify power integrity of on-chip structured power grid. The power grid is...
Hao Yu, Yiyu Shi, Lei He
EUROGRAPHICS
2010
Eurographics
16 years 4 months ago
Seamless Montage for Texturing Models
We present an automatic method to recover high-resolution texture over an object by mapping detailed photographs onto its surface. Such high-resolution detail often reveals inaccu...
Ran Gal, Yonatan Wexler, Eyal Ofek, Hugues Hoppe, ...
IWPC
2006
IEEE
16 years 1 months ago
An Architecture to Support Model Driven Software Visualization
Program comprehension tools are a valuable resource for navigating and understanding large software systems. Package explorers, fan-in / fan-out views, dependency graphs and cover...
R. Ian Bull, Margaret-Anne D. Storey, Jean-Marie F...
CAV
2009
Springer
239views Hardware» more  CAV 2009»
15 years 11 months ago
MCMAS: A Model Checker for the Verification of Multi-Agent Systems
tic modalities for correctness [16]. The release described in this abstract is a complete rebuild of a preliminary experimental checker [14]. The model input language includes vari...
Alessio Lomuscio, Hongyang Qu, Franco Raimondi
FGR
2004
IEEE
218views Biometrics» more  FGR 2004»
15 years 11 months ago
Affine Correspondence Based Head Pose Estimation for a Sequence of Images by Using a 3D Model
This paper proposes a method of determining human head poses from a sequence of images. The main idea is to use some features in a 3D head model to generate a virtual fronto-paral...
Guoyuan Liang, Hongbin Zha, Hong Liu