3238 search results - page 179 / 648 » On the Computational Interpretation of Negation |
192
click to vote
JCB
2002
15 years 6 months ago
2002
Accurately estimating probabilities from observations is important for probabilistic-based approaches to problems in computational biology. In this paper we present a biologically...
216
click to vote
TRIER
2002
15 years 6 months ago
2002
Constant propagation aims at identifying expressions that always yield a unique constant value at run-time. It is well-known that constant propagation is undecidable for programs w...
166
click to vote
BIRTHDAY
2009
Springer
16 years 1 months ago
2009
Springer
We consider a class of arithmetic equations over the complete lattice of integers (extended with −∞ and ∞) and provide a polynomial time algorithm for computing least solutio...
171
click to vote
MST
2010
15 years 5 months ago
2010
The class TFNP, defined by Megiddo and Papadimitriou, consists of multivalued functions with values that are polynomially verifiable and guaranteed to exist. Do we have evidence ...
164
click to vote
TLCA
2005
Springer
16 years 12 hour ago
2005
Springer
We explore foundational typing support for strong updates — updating a memory cell to hold values of unrelated types at different points in time. We present a simple, but expres...