396 search results - page 35 / 80 » Combining decision procedures for the reals |
129
click to vote
VSTTE
2012
Springer
13 years 9 months ago
2012
Springer
Motivated by the problem of deciding verification conditions for the verification of functional programs, we present new decision procedures for automated reasoning about functio...
140
click to vote
AISC
2004
Springer
15 years 7 months ago
2004
Springer
ion Within Partial Deduction for Linear Logic . . . . . . . . . . . . . . . . . 52 P. K¨ungas A Decision Procedure for Equality Logic with Uninterpreted Functions . . . 66 O. Tver...
ICASSP
2010
IEEE
15 years 1 months ago
2010
IEEE
A major challenge faced by a spoken term detection (STD) system is the detection of out-of-vocabulary (OOV) terms. Although a subword-based STD system is able to detect OOV terms,...
119
click to vote
ECCV
2002
Springer
16 years 3 months ago
2002
Springer
Abstract. In many vision problems, the observed data lies in a nonlinear manifold in a high-dimensional space. This paper presents a generic modelling scheme to characterize the no...
94
Voted
CIARP
2005
Springer
15 years 3 months ago
2005
Springer
Registration of CT and PET thoracic images has to cope with deformations of the lungs during breathing. Possible tumors in the lungs usually do not follow the same deformations, an...