4192 search results - page 465 / 839 » Probabilistic Logic Programming |
121
click to vote
AMI
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. We provide the first tool for verifying the logic of contextaware applications written for the mainstream sensor network operating system TinyOS; we focus on detecting pr...
165
click to vote
CORR
2004
Springer
15 years 4 months ago
2004
Springer
The objective of this paper is to develop a functional programming language for quantum computers. We develop a lambda-calculus for the QRAM model, following the work of P. Seling...
138
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
The paper presents a simple and concise proof of correctness of the magic transformation. We believe it may provide a useful example of formal reasoning about logic programs. The ...
157
click to vote
GECCO
2008
Springer
15 years 5 months ago
2008
Springer
This article introduces our new approach to program representation for genetic programming (GP). We replace the usual s-expression representation scheme by a strongly-typed ion-ba...
170
click to vote
ICFP
2010
ACM
15 years 5 months ago
2010
ACM
A wide range of computer programs, including compilers and theorem provers, manipulate data structures that involve names and binding. However, the design of programming idioms wh...