6020 search results - page 246 / 1204 » A New Approach to Model Counting |
142
Voted
ICCAD
1998
IEEE
15 years 9 months ago
1998
IEEE
In this paper, an approach to symbolic model checking of process networks is introduced. It is based on interval decision diagrams (IDDs), a representation of multi-valued functio...
146
click to vote
EUSFLAT
2007
15 years 6 months ago
2007
As the result of the development of Fuzzy Multiple Criteria Decision Making (FMCDM) with the help of fuzzy set theory a number of innovations have been made possible. The new appr...
169
click to vote
NAACL
2010
15 years 2 months ago
2010
We propose the first unsupervised approach to the problem of modeling dialogue acts in an open domain. Trained on a corpus of noisy Twitter conversations, our method discovers dia...
146
Voted
LICS
1999
IEEE
15 years 9 months ago
1999
IEEE
We introduce a new approach to modeling uncertainty based on plausibility measures. This approach is easily seen to generalize other approaches to modeling uncertainty, such as pr...
134
click to vote
INCDM
2009
Springer
15 years 11 months ago
2009
Springer
In this paper, we introduce an integration study which combines Data Mining (DM) and Agent Based Modeling and Simulation (ABMS). This study, as a new paradigm for DM/ABMS, is conce...