1187 search results - page 15 / 238 » Graph-Based Procedural Abstraction |
MICCAI
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. In this paper, we present a sensor guided ablation procedure of highly motile left atrium. It uses a system which automatically registers the 4D heart model with the posi...
CDC
2008
IEEE
14 years 9 months ago
2008
IEEE
Abstract-- This paper introduces a convex formulation approach for the initialization of parameter estimation problems (PEP). The proposed method exploits the parameter-affine feat...
98
Voted
CP
1999
Springer
15 years 1 months ago
1999
Springer
Abstract. In this paper, we present a major improvement in the search procedures in constraint programming. First, we integrate various search procedures from AI and OR. Second, we...
LPAR
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. We develop and analyze clause elimination procedures, a specific family of simplification techniques for conjunctive normal form (CNF) formulas. Extending known procedu...
93
Voted
CCL
1994
Springer
15 years 1 months ago
1994
Springer
Abstract. We compare two prominent decision procedures for propositional logic: Ordered Binary Decision Diagrams (obdds) and the DavisPutnam procedure. Experimental results indicat...