6020 search results - page 456 / 1204 » A New Approach to Model Counting |
212
click to vote
GECCO
2008
Springer
15 years 8 months ago
2008
Springer
In this work we present a new methodology for structure and parameter estimation in cell systems biology modelling. Our modelling framework is based on P systems, an unconl comput...
137
click to vote
CSDA
2007
15 years 7 months ago
2007
In two-way contingency tables analysis, a popular class of models for describing the structure of the association between the two categorical variables are the so-called “associ...
231
click to vote
ECCV
2008
Springer
16 years 8 months ago
2008
Springer
Facial expression modeling is central to facial expression recognition and expression synthesis for facial animation. Previous works reported that modeling the facial expression wi...
156
click to vote
ICOST
2007
Springer
16 years 1 months ago
2007
Springer
This paper defines a new, context-driven programming model for pervasive spaces. Existing models are prone to conflict, as it is hard to predict the outcome of interleaved actions ...
203
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. Pseudo-code descriptions of STMs assume sequentially consistent program execution and atomicity of high-level STM operations like read, write, and commit. These assumptio...