967 search results - page 31 / 194 » Probabilistic Predicative Programming |
84
Voted
ASPLOS
2006
ACM
15 years 8 months ago
2006
ACM
IFIP
2004
Springer
15 years 7 months ago
2004
Springer
We provide machine-independent characterizations of some complexity classes, over an arbitrary structure, in the model of computation proposed by L. Blum, M. Shub and S. Smale. We ...
208
click to vote
POPL
2006
ACM
16 years 2 months ago
2006
ACM
We describe a novel method for verifying programs that manipulate linked lists, based on two new predicates that characterize reachability of heap cells. These predicates allow re...
108
click to vote
JOLLI
2002
15 years 1 months ago
2002
Dynamic Predicate Logic (DPL) is a variant of Predicate Logic introduced by Groenendijk en Stokhof. One rationale behind the indroduction of DPL is that it is closer to Natural La...
126
click to vote
ESTIMEDIA
2007
Springer
15 years 8 months ago
2007
Springer
—Modern compression standards such as H.264, DivX, or VC-1 provide astonishing quality at the costs of steadily increasing processing requirements. Therefore, efficient solution...