Sciweavers

1259 search results - page 127 / 252
» In search of the memoryless property
Sort
View
ISBI
2009
IEEE
14 years 2 months ago
Design and Study of Flux-Based Features for 3D Vascular Tracking
In this paper, we present and study two local features for the tracking of vascular structures on 3D angiograms. The first one, Flux, measures the inward gradient flux through c...
David Lesage, Elsa D. Angelini, Isabelle Bloch, Ga...
SIGIR
2009
ACM
14 years 2 months ago
A bayesian learning approach to promoting diversity in ranking for biomedical information retrieval
In this paper, we propose a Bayesian learning approach to promoting diversity for information retrieval in biomedicine and a re-ranking model to improve retrieval performance in t...
Xiangji Huang, Qinmin Hu
DATE
2008
IEEE
122views Hardware» more  DATE 2008»
14 years 2 months ago
Simulation-Directed Invariant Mining for Software Verification
With the advance of SAT solvers, transforming a software program to a propositional formula has generated much interest for bounded model checking of software in recent years. How...
Xueqi Cheng, Michael S. Hsiao
WISE
2008
Springer
14 years 2 months ago
Web-Based Measure of Semantic Relatedness
Semantic relatedness measures quantify the degree in which some words or concepts are related, considering not only similarity but any possible semantic relationship among them. Re...
Jorge Gracia, Eduardo Mena
FSTTCS
2007
Springer
14 years 2 months ago
Better Algorithms and Bounds for Directed Maximum Leaf Problems
The Directed Maximum Leaf Out-Branching problem is to find an out-branching (i.e. a rooted oriented spanning tree) in a given digraph with the maximum number of leaves. In this pa...
Noga Alon, Fedor V. Fomin, Gregory Gutin, Michael ...