6020 search results - page 52 / 1204 » A New Approach to Model Counting |
115
Voted
FUIN
2007
15 years 3 months ago
2007
A symmetric version of the well-known SPM model for sandpiles is introduced. We prove that the new model has fixed point dynamics. Although there might be several fixed points, ...
129
click to vote
QEST
2007
IEEE
15 years 9 months ago
2007
IEEE
We give an overview of GRIP, a symmetry reduction tool for the probabilistic model checker PRISM, together with experimental results for a selection of example specifications. 1 ...
134
Voted
WSC
2007
15 years 5 months ago
2007
Over the 50 year history of discrete event simulation the growth in applications has been facilitated by some key advances in modeling that have simplified the process of building...
130
Voted
ACL
2003
15 years 5 months ago
2003
Recent text and speech processing applications such as speech mining raise new and more general problems related to the construction of language models. We present and describe in...
117
click to vote
CONSTRAINTS
2007
15 years 3 months ago
2007
When a new (global) constraint is introduced in local search, measures for the penalty and variable conflicts of that constraint must be defined, and incremental algorithms for m...