15754 search results - page 741 / 3151 » Programs are Knowledge Bases |
197
click to vote
COMPSAC
2005
IEEE
16 years 1 months ago
2005
IEEE
Automatic test data generation leads to the identification of input values on which a selected path or a selected branch is executed within a program (path-oriented vs goalorient...
175
click to vote
DEXA
2005
Springer
16 years 1 months ago
2005
Springer
Finding intensional encapsulations of database subsets is the inverse of query evaluation. Whereas query evaluation transforms an intensional expression (the query) to its extensi...
186
click to vote
ICLP
2005
Springer
16 years 1 months ago
2005
Springer
We present a version of the CCP paradigm, which is both distributed and probabilistic. We consider networks with a fixed number of nodes, each of them possessing a local and indep...
183
click to vote
ISPA
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. HPJava is an environment for scientific and parallel programming using Java. It is based on an extended version of the Java language. One feature that HPJava adds to Jav...
187
click to vote
SCALESPACE
2005
Springer
16 years 1 months ago
2005
Springer
Matrix-valued images gain increasing importance both as the output of new imaging techniques and as the result of image processing operations, bearing the need for robust and effic...