933 search results - page 114 / 187 » Extending Forward Checking |
166
click to vote
LISP
2008
15 years 6 months ago
2008
Trace effects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type a...
199
Voted
JMM2
2006
15 years 6 months ago
2006
This paper presents an efficient, robust and fully automatic real-time system for 3D object pose tracking in image sequences. The developed application integrates two main componen...
131
Voted
MCS
2008
Springer
15 years 6 months ago
2008
Springer
Validated continuation was introduced in [4] as means of checking that the classical continuation method applied to a Galerkin projection of a PDE provides a locally unique equili...
139
click to vote
ML
2008
ACM
15 years 6 months ago
2008
ACM
We implement statically-typed multi-holed contexts in OCaml using an underlying algebraic datatype augmented with phantom types. Existing approaches require dynamic checks or more...
172
click to vote
IGPL
2007
15 years 6 months ago
2007
The graphical software Morph Moulder (MoMo) presented here was originally created for teaching the logical foundations of Head-Driven Phrase Structure Grammar (HPSG) in an e-Learn...