Sciweavers

4865 search results - page 682 / 973
» The Complexity of Graph Connectivity
Sort
View
COCO
2003
Springer
102views Algorithms» more  COCO 2003»
15 years 10 months ago
Memoization and DPLL: Formula Caching Proof Systems
A fruitful connection between algorithm design and proof complexity is the formalization of the ¤¦¥¨§©§ approach to satisfiability testing in terms of tree-like resolution...
Paul Beame, Russell Impagliazzo, Toniann Pitassi, ...
ICCS
2003
Springer
15 years 10 months ago
Towards Biomedical Problem Solving in a Game Environment
Biomedical systems involve complex interactions between diverse components. Problem solving in such systems requires insight, i.e. the capability to make non-obvious connections. I...
Yang Cai 0002, Ingo Snel, B. Suman Bharathi, Cleme...
TAMC
2010
Springer
15 years 10 months ago
Optimal Acceptors and Optimal Proof Systems
Unless we resolve the P vs NP question, we are unable to say whether there is an algorithm (acceptor) that accepts Boolean tautologies in polynomial time and does not accept non-ta...
Edward A. Hirsch
IEEEPACT
2002
IEEE
15 years 10 months ago
Efficient Interconnects for Clustered Microarchitectures
Clustering is an effective microarchitectural technique for reducing the impact of wire delays, the complexity, and the power requirements of microprocessors. In this work, we inv...
Joan-Manuel Parcerisa, Julio Sahuquillo, Antonio G...
220
Voted
ISBI
2002
IEEE
15 years 10 months ago
Fast center-line extraction for quantification of vessels in confocal microscopy images
In this paper we present a novel method for the 3D centerline extraction of elongated objects such as vessels. This method unites the basic ideas in distance transformbased, thinn...
M. Maddah, Ali Afzali-Kusha, Hamid Soltanian-Zadeh...