15754 search results - page 234 / 3151 » Programs are Knowledge Bases |
155
click to vote
APN
2006
Springer
15 years 7 months ago
2006
Springer
Program verification is usually done by adding specifications and invariants to the program and then proving that the verification conditions are all true. This makes program verif...
150
click to vote
APSEC
2005
IEEE
15 years 10 months ago
2005
IEEE
— Invariant based programming is an approach to program construction where we provide the program pre- and postconditions as well as loop invariants before we construct the code ...
151
click to vote
CORR
2011
Springer
14 years 8 months ago
2011
Springer
We address the problem of propositional logic-based abduction, i.e., the problem of searching for a best explanation for a given propositional observation according to a given pro...
176
click to vote
PDSE
1998
15 years 6 months ago
1998
This paper describes how to reduce the burden of parallel programming by utilizing relevant parallel programs. Parallel algorithms are divided into four classes and a case base fo...
126
Voted
FLAIRS
2006
15 years 6 months ago
2006
The success of TURING Test technologies for system validation depends on the quality of the human expertise behind the system. As an additional source of human experts' valid...