53 search results - page 11 / 11 » Testing and Debugging Techniques for Answer Set Solver Devel... |
PROFES
2001
Springer
13 years 9 months ago
2001
Springer
New information is obtained by research and disseminated by papers in conferences and journals. The synthesis of knowledge depends upon social discourse among the experts in a give...
PLDI
2005
ACM
13 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...
ICDM
2007
IEEE
13 years 8 months ago
2007
IEEE
Model-based declarative queries are becoming an attractive paradigm for interacting with many data stream applications. This has led to the development of techniques to accurately...