6153 search results - page 322 / 1231 » Modeling Cyclic Change |
161
click to vote
ENTCS
2007
15 years 6 months ago
2007
Software model checkers are typically language-specific, require substantial development efforts, and are hard to reuse for other languages. Adding partial order reduction (POR)...
169
click to vote
ISF
2007
15 years 6 months ago
2007
Abstract Business performance modeling and model-driven business transformation are two research directions that are attracting much attention lately. In this study, we propose an ...
195
click to vote
ICCV
2001
IEEE
16 years 8 months ago
2001
IEEE
A comprehensive novel multi-view dynamic face model is presented in this paper to address two challenging problems in face recognition and facial analysis: modelling faces with la...
187
Voted
CVPR
2010
IEEE
16 years 10 days ago
2010
IEEE
We define a new “contour person” model of the human body that has the expressive power of a detailed 3D model and the computational benefits of a simple 2D part-based model....
195
click to vote
ICPR
2006
IEEE
16 years 7 months ago
2006
IEEE
For the analysis of learning processes and the underlying changes of the shape of excitatory synapses (spines), 3-D volume samples of selected dendritic segments are scanned by a ...