1615 search results - page 116 / 323 » Computer science and decision theory |
97
Voted
MFCS
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. We initiate a purely algebraic study of Ehrhard and Regnier’s resource λ-calculus, by introducing three equational classes of algebras: resource combinatory algebras, ...
STACS
2004
Springer
15 years 6 months ago
2004
Springer
Motivated by a scheduling problem encountered in multicast environments, we study a vertex labelling problem, called Directed Circular Arrangement (DCA), that requires one to fin...
187
click to vote
Book
"In the midst of all the commotion, remember three words. These three words lay
the foundation to the Charlotte Mason way of homeschooling. These three words can
guide all t...
118
Voted
TIME
2007
IEEE
15 years 7 months ago
2007
IEEE
We present a proof searching technique for the natural deduction calculus for the propositional linear-time temporal logic and prove its correctness. This opens the prospect to ap...
80
Voted
STOC
1992
ACM
15 years 4 months ago
1992
ACM
Paul Beame Joan Lawry Department of Computer Science and Engineering, FR-35 University of Washington Seattle, Washington 98195 Our main result is the demonstration of a Boolean fu...