2584 search results - page 293 / 517 » On the Forward Checking Algorithm |
122
click to vote
APLAS
2008
ACM
15 years 5 months ago
2008
ACM
Abstract. Symbolic execution is a flexible and powerful, but computationally expensive technique to detect dynamic behaviors of a program. In this paper, we present a context-sensi...
137
click to vote
APN
2006
Springer
15 years 5 months ago
2006
Springer
Program verification is usually done by adding specifications and invariants to the program and then proving that the verification conditions are all true. This makes program verif...
117
Voted
MEDINFO
2007
15 years 4 months ago
2007
Temporal constraints play a fundamental role in clinical guidelines. For example, temporal indeterminacy, constraints about duration, delays between actions and periodic repetitio...
125
click to vote
FORTE
2004
15 years 4 months ago
2004
Abstract. We present automated techniques for the explanation of counterexamples, where a counter-example should be understood as a sequence of program statements. Our approach is ...
124
click to vote
ACL
1998
15 years 4 months ago
1998
Much of the power of probabilistic methods in modelling language comes from their ability to compare several derivations for the same string in the language. An important starting...