Sciweavers

1329 search results - page 177 / 266
» Constraint-based model synthesis
Sort
View
CORR
2010
Springer
197views Education» more  CORR 2010»
15 years 6 months ago
Modelling of Human Glottis in VLSI for Low Power Architectures
The Glottal Source is an important component of voice as it can be considered as the excitation signal to the voice apparatus. Nowadays, new techniques of speech processing such a...
Nikhil Raj, R. K. Sharma
FMSD
2006
140views more  FMSD 2006»
15 years 6 months ago
Dealing with practical limitations of distributed timed model checking for timed automata
Two base algorithms are known for reachability verification over timed automata. They are called forward and backwards, and traverse the automata edges using either successors or p...
Víctor A. Braberman, Alfredo Olivero, Ferna...
TIT
2010
97views Education» more  TIT 2010»
15 years 1 months ago
Periodic orbits and equilibria in glass models for gene regulatory networks
Abstract--Glass models are frequently used to model gene regulatory networks. A distinct feature of the Glass model is that its dynamics can be formalized as paths through multi-di...
Igor Zinovik, Yury Chebiryak, Daniel Kroening
CVPR
2008
IEEE
16 years 8 months ago
Adaptive and constrained algorithms for inverse compositional Active Appearance Model fitting
Parametric models of shape and texture such as Active Appearance Models (AAMs) are diverse tools for deformable object appearance modeling and have found important applications in...
George Papandreou, Petros Maragos
MIRAGE
2007
Springer
16 years 13 days ago
Fitting Subdivision Surface Models to Noisy and Incomplete 3-D Data
Abstract. We describe an algorithm for fitting a Catmull-Clark subdivision surface model to an unstructured, incomplete and noisy data set. We complete the large missing data regi...
Spela Ivekovic, Emanuele Trucco