6020 search results - page 576 / 1204 » A New Approach to Model Counting |
160
click to vote
CATA
2003
15 years 8 months ago
2003
The imprecise computation model provides the ability to cope with unpredictable workloads. However, there is no consistent way on how to terminate the computation in its early sta...
169
click to vote
UAI
2004
15 years 8 months ago
2004
We present a new method for nonlinear prediction of discrete random sequences under minimal structural assumptions. We give a mathematical construction for optimal predictors of s...
195
click to vote
WSC
2000
15 years 8 months ago
2000
Discrete event simulation can be used for virtual prototyping of new manufacturing facilities. Models built for this purpose must be easy to use, flexible, and provide a realistic...
195
click to vote
IJNSEC
2006
15 years 7 months ago
2006
The increasing importance of the Internet has motivated the exploration of new execution models based on mobile and dynamic entities to overcome the limits of the client/server mo...
183
click to vote
ACL
2010
15 years 5 months ago
2010
Statistical translation models that try to capture the recursive structure of language have been widely adopted over the last few years. These models make use of varying amounts o...