2018 search results - page 160 / 404 » Magnitude-preserving ranking algorithms |
173
click to vote
CAV
2012
Springer
13 years 8 months ago
2012
Springer
An algorithmic-learning-based termination analysis technique is presented. The new technique combines transition predicate abstraction, algorithmic learning, and decision procedure...
217
click to vote
VISSYM
2003
15 years 7 months ago
2003
We present a robust method for extracting 3D centerlines from volumetric datasets. We start from a 2D skeletonization method to locate voxels centered with respect to three orthog...
174
click to vote
ICIP
2006
IEEE
16 years 8 months ago
2006
IEEE
A computationally efficient algorithm is proposed to remove noise impulses from speech and audio signals while retaining its features and tonal quality. The proposed method is bas...
156
click to vote
ICML
2005
IEEE
16 years 7 months ago
2005
IEEE
Low-rank matrix decompositions are essential tools in the application of kernel methods to large-scale learning problems. These decompositions have generally been treated as black...
160
click to vote
EMNLP
2007
15 years 7 months ago
2007
We present in this paper methods to improve HMM-based part-of-speech (POS) tagging of Mandarin. We model the emission probability of an unknown word using all the characters in th...