4155 search results - page 633 / 831 » Topic-Specific Optimization and Structuring |
121
click to vote
SIMVIS
2004
15 years 3 months ago
2004
Seismic data provide detailed information about subsurface structures. Reflection events visible in the seismic data are known as horizons, and indicate boundaries between differe...
142
click to vote
AAAI
2000
15 years 3 months ago
2000
Models for sequential decision making under uncertainty (e.g., Markov decision processes,or MDPs) have beenstudied in operations research for decades. The recent incorporation of ...
126
click to vote
AIPS
2009
15 years 3 months ago
2009
When modeling real-world decision-theoretic planning problems in the Markov decision process (MDP) framework, it is often impossible to obtain a completely accurate estimate of tr...
112
click to vote
GECCO
2008
Springer
15 years 3 months ago
2008
Springer
Liveness properties in concurrent systems are, informally, those properties that stipulate that something good eventually happens during execution. In order to prove that a given ...
144
Voted
DAC
2010
ACM
15 years 2 months ago
2010
ACM
The performance of most embedded systems is critically dependent on the average memory access latency. Improving the cache hit rate can have significant positive impact on the per...