Sciweavers

2286 search results - page 196 / 458
» Statistical timing analysis based on a timing yield model
Sort
View
WSCG
2003
193views more  WSCG 2003»
15 years 8 months ago
Automatically Generating Roof Models from Building Footprints
Modelling Large Urban Environments using traditional modelling techniques would prove too time consuming a process. Consequently a method is required for generating large urban en...
R. G. Laycock, A. M. Day
MICCAI
2008
Springer
16 years 7 months ago
A Novel Explicit 2D+t Cyclic Shape Model Applied to Echocardiography
In this paper, we propose a novel explicit 2D+t cyclic shape model that extends the Point Distribution Model (PDM) to shapes like myocardial contours with cyclic dynamics. We also ...
Ramón Casero, J. Alison Noble
ICIP
2005
IEEE
16 years 8 months ago
Tracking objects in video using motion and appearance models
This paper proposes a visual tracking algorithm that combines motion and appearance in a statistical framework. It is assumed that image observations are generated simultaneously ...
Aswin C. Sankaranarayanan, Rama Chellappa, Qinfen ...
TACAS
2007
Springer
92views Algorithms» more  TACAS 2007»
16 years 20 days ago
Model Checking Liveness Properties of Genetic Regulatory Networks
Abstract. Recent studies have demonstrated the possibility to build genetic regulatory networks that confer a desired behavior to a living organism. However, the design of these ne...
Grégory Batt, Calin Belta, Ron Weiss
ENTCS
2006
162views more  ENTCS 2006»
15 years 6 months ago
Adaptive Graph Pattern Matching for Model Transformations using Model-sensitive Search Plans
The current paper makes two contributions for the graph pattern matching problem of model transformation tools. First, model-sensitive search plan generation is proposed for patte...
Gergely Varró, Katalin Friedl, Dánie...