Sciweavers

614 search results - page 106 / 123
» The Power of Methods With Parallel Semantics
Sort
View
BMCBI
2010
142views more  BMCBI 2010»
15 years 16 days ago
pplacer: linear time maximum-likelihood and Bayesian phylogenetic placement of sequences onto a fixed reference tree
Background: Likelihood-based phylogenetic inference is generally considered to be the most reliable classification method for unknown sequences. However, traditional likelihood-ba...
Frederick A. Matsen III, Robin B. Kodner, E. Virgi...
112
Voted
SMA
2008
ACM
150views Solid Modeling» more  SMA 2008»
15 years 10 days ago
Surface matching using consistent pants decomposition
Surface matching is fundamental to shape computing and various downstream applications. This paper develops a powerful pants decomposition framework for computing maps between sur...
Xin Li, Xianfeng Gu, Hong Qin
129
Voted
MICCAI
2004
Springer
16 years 1 months ago
Implicit Active Shape Models for 3D Segmentation in MR Imaging
Extraction of structures of interest in medical images is often an arduous task because of noisy or incomplete data. However, handsegmented data are often available and most of the...
Mikaël Rousson, Nikos Paragios, Rachid Derich...
79
Voted
VLSID
2006
IEEE
121views VLSI» more  VLSID 2006»
16 years 24 days ago
An Integrated Approach for Combining BDD and SAT Provers
Many formal verification tools today are based on Boolean proof techniques. The two most powerful approaches in this context are Binary Decision Diagrams (BDDs) and methods based ...
Rolf Drechsler, Görschwin Fey, Sebastian Kind...
CCGRID
2009
IEEE
15 years 7 months ago
Modeling Job Lifespan Delays in Volunteer Computing Projects
Volunteer Computing (VC) projects harness the power of computers owned by volunteers across the Internet to perform hundreds of thousands of independent jobs. In VC projects, the ...
Trilce Estrada, Michela Taufer, Kevin Reed