4192 search results - page 471 / 839 » Probabilistic Logic Programming |
172
click to vote
WCFLP
2005
ACM
15 years 10 months ago
2005
ACM
Debugging is one of the essential parts of the software development cycle. However, the usual debugging techniques used in imperative languages such as the step by step execution ...
147
click to vote
IFIP
2004
Springer
15 years 10 months ago
2004
Springer
Ensuring correctness of software by formal methods is a very relevant and widely studied problem. Automatic verification of software using model checkers from the state space exp...
138
click to vote
LPNMR
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. This paper studies computational issues related to the problem of reasoning about actions and change (RAC) by exploiting its link with the Answer Set Programming paradigm...
138
click to vote
PEPM
2004
ACM
15 years 10 months ago
2004
ACM
Advanced typing, matching, and evaluation strategy features, as well as very general conditional rules, are routinely used in equational programming languages such as, for example...
113
click to vote
ISCA
1999
IEEE
15 years 9 months ago
1999
IEEE
Several ILP limit studies indicate the presence of considerable ILP across dynamically far-apart instructions in program execution. This paper proposes a hardware mechanism, dynam...