1194 search results - page 97 / 239 » A Calculus for Predicative Programming |
147
click to vote
ICML
2006
IEEE
16 years 5 months ago
2006
IEEE
We describe a statistical approach to software debugging in the presence of multiple bugs. Due to sparse sampling issues and complex interaction between program predicates, many g...
152
click to vote
WWW
2008
ACM
16 years 5 months ago
2008
ACM
We propose a method of classifying XML documents and extracting XML schema from XML by inductive inference based on constraint logic programming. The goal of this work is to type ...
117
Voted
CSL
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. By introducing a parallel extension rule that is aware of independence of the introduced extension variables, a calculus for quantified propositional logic is obtained w...
161
Voted
ICAS
2006
IEEE
15 years 11 months ago
2006
IEEE
This paper is concerned with the problem of intrinsically assigning meaning to the signals responsible for autonomic responses in a system. Without an associated cognitive system,...
149
click to vote
TABLEAUX
1999
Springer
15 years 9 months ago
1999
Springer
We combine techniques originally developed for refutational first-order theorem proving within the clause tree framework with techniques for minimal model computation developed wi...