1127 search results - page 45 / 226 » Theory Extension in ACL2(r) |
87
Voted
JCT
2006
15 years 21 days ago
2006
A review is given of some of the mathematical research of Bruce Rothschild, emphasizing his results in combinatorial theory, especially that part known as Ramsey Theory. Special em...
129
Voted
LATA
2010
Springer
14 years 11 months ago
2010
Springer
We apply language theory to compare the expressive power of models that extend Petri nets with features like colored tokens and/or whole place operations. Specifically, we conside...
105
click to vote
ICPP
2009
IEEE
15 years 7 months ago
2009
IEEE
—Equilibria computation is of great importance to many areas such as economics, control theory, and recently computer science. We focus on the computation of Nash equilibria in t...
104
click to vote
ALDT
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Argumentation has been acknowledged as a powerful mechanism for automated decision making. In this context several recent works have studied the problem of accommodating ...
104
Voted
APPROX
2009
Springer
15 years 7 months ago
2009
Springer
Small-bias, or -biased, spaces have found many applications in complexity theory, coding theory, and derandomization. We generalize the notion of small-bias spaces to the setting ...