7167 search results - page 487 / 1434 » Answer Set Programming |
149
click to vote
ENTCS
2002
15 years 4 months ago
2002
Dynamic Logic Programming (DLP) was introduced to deal with knowledge about changing worlds, by assigning semantics to sequences of generalized logic programs, each of which repres...
133
click to vote
SEFM
2005
IEEE
15 years 10 months ago
2005
IEEE
Verification of programs requires reasoning about sets of program states. In case of programs manipulating pointers, program states are pointer graphs. Verification of such prog...
217
click to vote
PLDI
2005
ACM
15 years 10 months ago
2005
ACM
Robust and powerful software instrumentation tools are essential for program analysis tasks such as profiling, performance evaluation, and bug detection. To meet this need, we ha...
120
click to vote
TIT
1998
15 years 4 months ago
1998
—Given n discrete random variables = fX1;111; Xng, associated with any subset of f1; 2; 111; ng, there is a joint entropy H(X ) where X = fXi:i 2 g. This can be viewed as a f...
109
click to vote
IADIS
2004
15 years 5 months ago
2004
Two sets of multimedia learning materials were compared for their ability to promote learning of introductory computer programming The first set of materials was a sequentially na...