868 search results - page 20 / 174 » Debugging for Model Expansion |
AAAI
2008
14 years 5 days ago
2008
In this paper, we propose a novel approach to expand queries by exploring both location information and topic information of the queries. Users at different locations tend to have...
AADEBUG
1995
Springer
14 years 1 months ago
1995
Springer
Novice programmers often find programming to be a difficult and frustrating task. Because of their lack of experience in programming novices have different needs to experts when i...
AADEBUG
1997
Springer
14 years 2 months ago
1997
Springer
This paper introduces the bisection debugging model. The key idea is to use a debugger to identify the semantic differences between two versions of the same program. The debugger ...
ICLP
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. We present a framework for the declarative diagnosis of nondeterministic timed concurrent constraint programs. We present a denotational semantics based on a (continuous)...
RTAS
2007
IEEE
14 years 4 months ago
2007
IEEE
Stochastic analysis techniques for real-time systems model the execution time of tasks as random variables. These techniques constitute a very powerful tool to study the behaviour...