3090 search results - page 550 / 618 » On Testing Answer-Set Programs |
111
click to vote
CIKM
2005
Springer
15 years 7 months ago
2005
Springer
Testing reachability between nodes in a graph is a well-known problem with many important applications, including knowledge representation, program analysis, and more recently, bi...
133
click to vote
UM
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Since problem solving in group problem-based learning is a collaborative process, modeling individuals and the group is necessary if we wish to develop an intelligent tut...
114
click to vote
ISSTA
2004
ACM
15 years 7 months ago
2004
ACM
Software process and workflow languages are increasingly used to define loosely-coupled systems of systems. These languages focus on coordination issues such as data flow and c...
151
click to vote
SIGIR
1993
ACM
15 years 6 months ago
1993
ACM
Since 1986 we have investigated the problems and possibilities of applying modern information retrieval methods to large online public access library catalogs (OPACs). In the Retr...
140
click to vote
ISSTA
2010
ACM
15 years 5 months ago
2010
ACM
Dynamic loading of software components (e.g., libraries or modules) is a widely used mechanism for improved system modularity and flexibility. Correct component resolution is cri...