6020 search results - page 733 / 1204 » A New Approach to Model Counting |
203
click to vote
AAAI
2008
15 years 9 months ago
2008
We describe a novel integration of Planning with Probabilistic State Estimation and Execution resulting in a unified representational and computational framework based on declarat...
192
click to vote
WSC
2007
15 years 9 months ago
2007
Simulation optimization (SO) is the process of finding the optimum design of a system whose performance measure(s) are estimated via simulation. We propose some ideas to improve o...
165
click to vote
WSC
2007
15 years 9 months ago
2007
Computer simulation is an appealing approach for the reliability analysis of structure-based software systems as it can accommodate important complexities present in realistic sys...
178
click to vote
ASPDAC
2005
ACM
15 years 8 months ago
2005
ACM
- This paper presents a novel approach for fast transient analysis of buffered hybrid structured clock networks. The new method applies structure reduction and relaxed hierarchical...
215
click to vote
DSN
2005
IEEE
15 years 8 months ago
2005
IEEE
The behavior of large-scale wireless sensor networks has been shown to be surprisingly complex and difficult to analyze, both by empirical experiment and simulation. In this pape...