6020 search results - page 128 / 1204 » A New Approach to Model Counting |
142
click to vote
SIGSOFT
2006
ACM
16 years 4 months ago
2006
ACM
We consider the problem if a given program satisfies a specified safety property. Interesting programs have infinite state spaces, with inputs ranging over infinite domains, and f...
127
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: Microorganisms display vast diversity, and each one has its own set of genes, cell components and metabolic reactions. To assess their huge unexploited metabolic poten...
122
click to vote
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
We develop a new model to analyse the strategic behaviour of buyers and sellers in market mechanisms. In particular, we wish to understand how the different strategies they adopt ...
124
click to vote
IVA
2009
Springer
15 years 10 months ago
2009
Springer
Currently, applications that focus on providing conversations with virtual humans require extensive work to create robust conversational models. We present a new approach called Hu...
172
click to vote
JVCA
2010
15 years 2 months ago
2010
We present a new algorithm to generate plausible motions for high-DOF human-like articulated figures in constrained environments with multiple obstacles. Our approach is general ...