6020 search results - page 238 / 1204 » A New Approach to Model Counting |
136
click to vote
RECOMB
2010
Springer
15 years 12 months ago
2010
Springer
Constructing quantitative dynamic models of signaling pathways is an important task for computational systems biology. Pathway model construction is often an inherently incremental...
130
click to vote
TVCG
2008
15 years 4 months ago
2008
This paper presents a new approach for the mesh composition on models with arbitrary boundary topology. After cutting the needed parts from existing mesh models and putting them in...
144
click to vote
CVPR
2006
IEEE
16 years 7 months ago
2006
IEEE
Model order selection and cue combination are both difficult open problems in the area of clustering. In this work we build upon stability-based approaches to develop a new method...
129
click to vote
CVPR
2008
IEEE
16 years 7 months ago
2008
IEEE
Face alignment seeks to deform a face model to match it with the features of the image of a face by optimizing an appropriate cost function. We propose a new face model that is al...
123
click to vote
ATVA
2005
Springer
15 years 10 months ago
2005
Springer
This work extends the game-based framework of µ-calculus model checking to the multi-valued setting. In multi-valued model checking a formula is interpreted over a Kripke structur...