Sciweavers

1671 search results - page 280 / 335
» On the Covering Steiner Problem
Sort
View
BILDMED
2009
162views Algorithms» more  BILDMED 2009»
14 years 4 days ago
Extracting a Purely Non-rigid Deformation Field of a Single Structure
During endovascular aortic repair (EVAR) treatment, the aortic shape is subject to severe deformation that is imposed by medical instruments such as guide wires, catheters, and the...
Stefanie Demirci, Frode Manstad-Hulaas, Nassir Nav...
ECAI
2010
Springer
14 years 3 days ago
A Unified Framework for Non-standard Reasoning Services in Description Logics
Non-standard reasoning in Description Logics (DLs) comprises computing a Least Common Subsumer (LCS), a Concept Difference, a Concept Unifier, or an Interpolant Concept, to name a ...
Simona Colucci, Tommaso Di Noia, Eugenio Di Sciasc...
ECAI
2010
Springer
14 years 3 days ago
On Testing Answer-Set Programs
Answer-set programming (ASP) is a well-acknowledged paradigm for declarative problem solving, yet comparably little effort has been spent on the investigation of methods to support...
Tomi Janhunen, Ilkka Niemelä, Johannes Oetsch...
CORR
2010
Springer
130views Education» more  CORR 2010»
13 years 11 months ago
Linear Sum Capacity for Gaussian Multiple Access Channels with Feedback
The capacity region of the N-sender additive white Gaussian noise (AWGN) multiple access channel (MAC) with feedback is not known in general, despite significant contributions by C...
Ehsan Ardestanizadeh, Michele A. Wigger, Young-Han...
CORR
2008
Springer
110views Education» more  CORR 2008»
13 years 11 months ago
Trimmed Moebius Inversion and Graphs of Bounded Degree
We study ways to expedite Yates's algorithm for computing the zeta and Moebius transforms of a function defined on the subset lattice. We develop a trimmed variant of Moebius ...
Andreas Björklund, Thore Husfeldt, Petteri Ka...