6020 search results - page 392 / 1204 » A New Approach to Model Counting |
214
click to vote
MABS
1998
Springer
15 years 11 months ago
1998
Springer
Multi-agent simulations aim at representing the dynamics of complex systems as resulting from multiple interactions between autonomous entities including their own perception of lo...
181
click to vote
ICCAD
1997
IEEE
15 years 11 months ago
1997
IEEE
This paper presents a unique approach to improve yield given a routed layout. Currently after routing has been completed and compacted, it generally proceeds to verification witho...
166
click to vote
DATE
2004
IEEE
15 years 10 months ago
2004
IEEE
The analysis of real-time properties of an embedded system usually relies on the worst-case execution times (WCET) of the tasks to be executed. In contrast to that, in real world ...
195
click to vote
ECML
2006
Springer
15 years 10 months ago
2006
Springer
Reinforcement learning in real-world domains suffers from three curses of dimensionality: explosions in state and action spaces, and high stochasticity. We present approaches that ...
173
click to vote
JUCS
2008
15 years 6 months ago
2008
: The reliability of a communications network is often evaluated without taking into account the economic consequence of failures. Here a new approach is proposed to assess the eco...