Sciweavers

634 search results - page 39 / 127
» Completion Procedures as Semidecision Procedures
Sort
View
BILDMED
2007
115views Algorithms» more  BILDMED 2007»
14 years 11 months ago
Method for Projecting Functional 3D Information onto Anatomic Surfaces
Today the main challenge in cancer surgery is increasing the accuracy in tumor resections. Malignant cells must be completely removed, while harm to the surrounding healthy tissue ...
Oleg Kishenkov, Thomas Wendler, Jörg Traub, S...
SDM
2003
SIAM
156views Data Mining» more  SDM 2003»
14 years 11 months ago
Detection of Underrepresented Biological Sequences using Class-Conditional Distribution Models
A labeled sequence data set related to a certain biological property is often biased and, therefore, does not completely capture its diversity in nature. To reduce this sampling b...
Slobodan Vucetic, Dragoljub Pokrajac, Hongbo Xie, ...
BMCBI
2005
99views more  BMCBI 2005»
14 years 9 months ago
Effective ambiguity checking in biosequence analysis
Background: Ambiguity is a problem in biosequence analysis that arises in various analysis tasks solved via dynamic programming, and in particular, in the modeling of families of ...
Janina Reeder, Peter Steffen, Robert Giegerich
TACAS
2005
Springer
129views Algorithms» more  TACAS 2005»
15 years 3 months ago
A New Algorithm for Strategy Synthesis in LTL Games
Abstract. The automatic synthesis of programs from their specifications has been a dream of many researchers for decades. If we restrict to open finite-state reactive systems, th...
Aidan Harding, Mark Ryan, Pierre-Yves Schobbens
ICCV
2001
IEEE
15 years 11 months ago
The Variable Bandwidth Mean Shift and Data-Driven Scale Selection
We present two solutions for the scale selection problem in computer vision. The rst one is completely nonparametric and is based on the the adaptive estimation of the normalized ...
Dorin Comaniciu, Visvanathan Ramesh, Peter Meer