1187 search results - page 15 / 238 » Graph-Based Procedural Abstraction |
MICCAI
2005
Springer
16 years 21 days 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...
104
click to vote
CDC
2008
IEEE
14 years 12 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...
113
click to vote
CP
1999
Springer
15 years 4 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 10 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...
106
click to vote
CCL
1994
Springer
15 years 3 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...