Sciweavers

5170 search results - page 753 / 1034
» Consistency of the FastSLAM Algorithm
Sort
View
DAC
2004
ACM
16 years 7 months ago
Placement feedback: a concept and method for better min-cut placements
The advent of strong multi-level partitioners has made topdown min-cut placers a favored choice for modern placer implementations. We examine terminal propagation, an important st...
Andrew B. Kahng, Sherief Reda
DAC
2006
ACM
16 years 7 months ago
Predicate learning and selective theory deduction for a difference logic solver
Design and verification of systems at the Register-Transfer (RT) or behavioral level require the ability to reason at higher levels of abstraction. Difference logic consists of an...
Chao Wang, Aarti Gupta, Malay K. Ganai
MICCAI
2006
Springer
16 years 7 months ago
Brain Surface Conformal Parameterization with Algebraic Functions
In medical imaging, parameterized 3D surface models are of great interest for anatomical modeling and visualization, statistical comparisons of anatomy, and surface-based registrat...
Yalin Wang, Xianfeng Gu, Tony F. Chan, Paul M. Tho...
ICML
2009
IEEE
16 years 7 months ago
Matrix updates for perceptron training of continuous density hidden Markov models
In this paper, we investigate a simple, mistakedriven learning algorithm for discriminative training of continuous density hidden Markov models (CD-HMMs). Most CD-HMMs for automat...
Chih-Chieh Cheng, Fei Sha, Lawrence K. Saul
ICML
2007
IEEE
16 years 7 months ago
On learning linear ranking functions for beam search
Beam search is used to maintain tractability in large search spaces at the expense of completeness and optimality. We study supervised learning of linear ranking functions for con...
Yuehua Xu, Alan Fern