6770 search results - page 269 / 1354 » How GPUs Work |
147
Voted
DAC
1997
ACM
15 years 7 months ago
1997
ACM
We present our experiences with the formal verification of an automotive chip used to control the safety features in a car. We used a BDD based model checker in our work. We descr...
125
click to vote
CIAC
2010
Springer
15 years 7 months ago
2010
Springer
Various forms of multicut problems are of great importance in the area of network design. In general, these problems are intractable. However, several parameters have been identifi...
109
Voted
AAAI
2008
15 years 6 months ago
2008
Potential-based shaping was designed as a way of introducing background knowledge into model-free reinforcement-learning algorithms. By identifying states that are likely to have ...
120
Voted
WSC
2007
15 years 6 months ago
2007
Quantiles, also known as value-at-risk in financial applications, are important measures of random performance. Quantile sensitivities provide information on how changes in the i...
127
Voted
WSC
2008
15 years 6 months ago
2008
Wildfire propagation is a complex process influenced by many factors. Simulation models of wildfire spread, such as DEVS-FIRE, are important tools for studying fire behavior. This...