396 search results - page 36 / 80 » Combining decision procedures for the reals |
114
click to vote
NGC
2000
Springer
15 years 1 months ago
2000
Springer
In this paper we introduce the logic programminglanguage Disjunctive Chronolog which combines the programming paradigms of temporal and disjunctive logic programming. Disjunctive C...
164
click to vote
ISBI
2011
IEEE
14 years 5 months ago
2011
IEEE
Minimally invasive trans-catheter aortic valve implantation (TAVI) procedure can be greatly facilitated using smart visualization and guidance technology involving the 3-D model o...
94
Voted
3DPVT
2002
IEEE
15 years 6 months ago
2002
IEEE
We present a method for the reconstruction of a 3D real object from a sequence of high-definition images. We combine two different procedures: a shape from silhouette technique w...
CL
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. Many key verification problems such as boundedmodel-checking,circuit verification and logical cryptanalysis are formalized with combined clausal and affine logic (i.e....
108
click to vote
GECCO
2006
Springer
15 years 5 months ago
2006
Springer
: Evolutionary multi-objective optimization (EMO) methodologies have been amply applied to find a representative set of Pareto-optimal solutions in the past decade and beyond. Alth...