7430 search results - page 26 / 1486 » Programming Applications in CIFF |
101
click to vote
IJPRAI
2010
14 years 9 months ago
2010
This paper investigates what kinds of information are necessary and sufficient to design and evaluate image processing software programs and proposes a representation of these inf...
100
click to vote
VMCAI
2012
Springer
13 years 7 months ago
2012
Springer
We describe a course on the semantics of a simple imperative programming language and on applications to compilers, type systems, static analyses and Hoare logic. The course is ent...
134
click to vote
HIPEAC
2011
Springer
13 years 11 months ago
2011
Springer
Dynamic typing is a barrier for JavaScript applications to achieve high performance. Compared with statically typed languages, the major overhead of dynamic typing comes from runt...
IJCAI
2007
15 years 1 months ago
2007
We introduce ProbLog, a probabilistic extension of Prolog. A ProbLog program defines a distribution over logic programs by specifying for each clause the probability that it belo...
PLDI
2006
ACM
15 years 5 months ago
2006
ACM
