Sciweavers

2962 search results - page 298 / 593
» The Bunch-Active Shape Model
Sort
View
GECCO
2005
Springer
125views Optimization» more  GECCO 2005»
16 years 6 days ago
Evolutionary models for maternal effects in simulated developmental systems
Maternal influence on offspring goes beyond strict nuclear (DNA) inheritance: inherited maternal mRNA, mitochondria, caring and nurturing are all additional sources that affect...
Artur Matos, Reiji Suzuki, Takaya Arita
HLK
2003
IEEE
15 years 12 months ago
Generic Deformable Implicit Mesh Models for Automated Reconstruction
Deformable 3–D models can be represented either as explicit or implicit surfaces. Explicit surfaces, such as triangulations or wire-frame models, are widely accepted in the Comp...
Slobodan Ilic, Pascal Fua
MMAS
2010
Springer
15 years 1 months ago
Global Energy Matching Method for Atomistic-to-Continuum Modeling of Self-Assembling Biopolymer Aggregates
This paper studies mathematical models of biopolymer supramolecular aggregates that are formed by the self-assembly of single monomers. We develop a new multiscale numerical appro...
Lei Zhang, Leonid Berlyand, Maxim V. Fedorov, Houm...
CVPR
2011
IEEE
14 years 10 months ago
Learning People Detection Models from Few Training Samples
People detection is an important task for a wide range of applications in computer vision. State-of-the-art methods learn appearance based models requiring tedious collection and ...
Leonid Pishchulin, Christian Wojek, Arjun Jain, Th...
CAV
2012
Springer
231views Hardware» more  CAV 2012»
13 years 9 months ago
Incremental, Inductive CTL Model Checking
A SAT-based incremental, inductive algorithm for model checking CTL properties is proposed. As in classic CTL model checking, the parse graph of the property shapes the analysis. H...
Zyad Hassan, Aaron R. Bradley, Fabio Somenzi