971 search results - page 95 / 195 » Approximate Satisfiability and Equivalence |
107
click to vote
TCS
2010
14 years 11 months ago
2010
Abstract. We study a general class of non-cooperative games coming from combinatorial covering and facility location problems. A game for k players is based on an integer programmi...
115
click to vote
CAV
2012
Springer
13 years 3 months ago
2012
Springer
A SAT-based incremental, inductive algorithm for model checking CTL properties is proposed. As in classic CTL model checking, the parse graph of the property shapes the analysis. H...
93
Voted
STOC
2010
ACM
15 years 5 months ago
2010
ACM
Data streams emerged as a critical model for multiple applications that handle vast amounts of data. One of the most influential and celebrated papers in streaming is the “AMSâ...
ICML
2009
IEEE
16 years 1 months ago
2009
IEEE
We cast model-free reinforcement learning as the problem of maximizing the likelihood of a probabilistic mixture model via sampling, addressing both the infinite and finite horizo...
104
Voted
VLSID
2002
IEEE
16 years 1 months ago
2002
IEEE
- This work presents accurate closed-form expressions for the interconnect energy dissipation in high-speed ULSI circuits. Unlike previous works, the energy is calculated using an ...