3820 search results - page 225 / 764 » Bounded Model Debugging |
116
click to vote
ESOP
2003
Springer
15 years 8 months ago
2003
Springer
This paper proposes the use of constraint logic programming (CLP) to perform model checking of traditional, imperative programs. We present a semantics-preserving translation from ...
109
Voted
DAGSTUHL
2008
15 years 4 months ago
2008
Techniques of reliable computing, like interval arithmetic, can be used to guarantee reliable solutions even in the presence of numerical round-off errors. The need to trace bounds...
129
Voted
NAACL
2004
15 years 4 months ago
2004
Maximum entropy models are a common modeling technique, but prone to overfitting. We show that using an exponential distribution as a prior leads to bounded absolute discounting b...
122
click to vote
APAL
2006
15 years 3 months ago
2006
CITY IN ABSTRACT ELEMENTARY CLASSES WITH NO MAXIMAL MODELS MONICA VANDIEREN Abstract. The results in this paper are in a context of abstract elementary classes identified by Shelah...
128
Voted
AUTOMATICA
2006
15 years 3 months ago
2006
A controller change from a current controller which stabilises the plant to a new controller, designed on the basis of an approximate model of the plant and with guaranteed bounds...