350 search results - page 6 / 70 » Branching Programs for Tree Evaluation |
MICCAI
2003
Springer
14 years 8 months ago
2003
Springer
Blood vessels and other anatomic objects in the human body can be described as trees of branching tubes. The focus of this paper is the extraction of the branching geometry in 3D, ...
FOCS
2010
IEEE
13 years 5 months ago
2010
IEEE
The Coin Problem is the following problem: a coin is given, which lands on head with probability either 1/2 + or 1/2 - . We are given the outcome of n independent tosses of this co...
ICTAC
2004
Springer
14 years 25 days ago
2004
Springer
We give an inductive method for proving weak innermost termination of rule-based programs, from which we automatically infer, for each successful proof, a finite strategy for data...
BMCBI
2010
13 years 7 months ago
2010
Background: To understand the evolutionary role of Lateral Gene Transfer (LGT), accurate methods are needed to identify transferred genes and infer their timing of acquisition. Ph...
ISPD
2000
ACM
13 years 12 months ago
2000
ACM
In this paper, we present an algorithm for delay minimization of interconnect trees by simultaneous buffer insertion/sizing and wire sizing. The algorithm integrates the quadratic...