3090 search results - page 390 / 618 » On Testing Answer-Set Programs |
165
click to vote
COOPIS
2003
IEEE
15 years 11 months ago
2003
IEEE
Dynamic loading of code is needed when rarely used code should be loaded on demand or when the code to be loaded is not known in advance. In distributed systems it can also be used...
195
click to vote
UIST
2003
ACM
15 years 11 months ago
2003
ACM
This paper presents a novel image editing program emphasizing easy selection and manipulation of material found in informal, casual documentssuch as sketches, handwrittennotes, wh...
194
Voted
SAC
2009
ACM
15 years 11 months ago
2009
ACM
The Semantic Web and its technologies become increasingly important. As more and more Semantic Web applications are being used, developing more stable Semantic Web applications be...
161
click to vote
KI
2001
Springer
15 years 10 months ago
2001
Springer
High-level controllers that operate robots in dynamic, uncertain domains are concerned with at least two reasoning tasks dealing with the effects of noisy sensors and effectors: T...
156
click to vote
SIGSOFT
2000
ACM
15 years 10 months ago
2000
ACM
We describe an extension to the Java programming language that supports static conformance checking and dynamic debugging of object "protocols," i.e., sequencing constra...