588 search results - page 94 / 118 » Modeling and Verifying Circuits Using Generalized Relative T... |
111
Voted
ALDT
2009
Springer
15 years 8 months ago
2009
Springer
Traditional performance analysis of approximation algorithms considers overall performance, while economic fairness analysis focuses on the individual performance each user receiv...
121
click to vote
WSC
1997
15 years 3 months ago
1997
We present an extension to an existing SPARC V8 instruction set simulator, SimICS, to support accurate profiling of branches and instruction cache misses. SimICS had previously su...
125
Voted
IJCAI
2001
15 years 3 months ago
2001
A general and expressive model of sequential decision making under uncertainty is provided by the Markov decision processes (MDPs) framework. Complex applications with very large ...
129
click to vote
SEMWEB
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We present a method for rapid development of benchmarks for Semantic Web knowledge base systems. At the core, we have a synthetic data generation approach for OWL that is...
120
Voted
ATAL
2008
Springer
15 years 4 months ago
2008
Springer
This paper presents the dynamics of multi-agent reinforcement learning in multiple state problems. We extend previous work that formally modelled the relation between reinforcemen...