967 search results - page 75 / 194 » Probabilistic Predicative Programming |
118
Voted
ICLP
2010
Springer
15 years 6 months ago
2010
Springer
Answer set programs with time predicates are useful to model systems whose properties depend on time, like for example gene regulatory networks. A state of such a system at time po...
118
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
An important issue towards a broader acceptance of answer-set programming (ASP) is the deployment of tools which support the programmer during the coding phase. In particular, met...
115
Voted
ATVA
2009
Springer
15 years 9 months ago
2009
Springer
We present a new approach for automatic verification of data-dependent programs manipulating dynamic heaps. A heap is encoded by a graph where the nodes represent the cells, and t...
103
click to vote
PPDP
2007
Springer
15 years 8 months ago
2007
Springer
We propose a framework to construct web-oriented user interfaces in a high-level way by exploiting declarative programming techniques. Such user interfaces are intended to manipul...
134
click to vote
ERSHOV
2003
Springer
15 years 7 months ago
2003
Springer
By obfuscation we mean any efficient semantic-preserving transformation of computer programs aimed at bringing a program into such a form, which impedes the understanding of its al...