1710 search results - page 207 / 342 » High-Level Programs and Program Conditions |
171
click to vote
WFLP
2009
Springer
15 years 11 months ago
2009
Springer
A logic program strongly terminates if it terminates for any selection rule. Clearly, considering a particular selection rule—like Prolog’s leftmost selection rule—allows one...
133
click to vote
ISORC
2007
IEEE
15 years 11 months ago
2007
IEEE
Knowing the program timing characteristics is fundamental to the successful design and execution of real-time systems. Today, measurement-based timing analysis tools such as in-ci...
142
click to vote
TPHOL
2007
IEEE
15 years 11 months ago
2007
IEEE
We formalise the data race free (DRF) guarantee provided by Java, as captured by the semi-formal Java Memory Model (JMM) [1] and published in the Java Language Specification [2]. ...
114
click to vote
ESOP
2007
Springer
15 years 11 months ago
2007
Springer
Negation is intrinsic to human thinking and most of the time when searching for something, we base our patterns on both positive and negative conditions. In a previous work, we hav...
178
click to vote
ILP
2007
Springer
15 years 11 months ago
2007
Springer
We describe an application of inductive logic programming to transfer learning. Transfer learning is the use of knowledge learned in a source task to improve learning in a related ...