Sciweavers

2280 search results - page 385 / 456
» Global Optimization for Optimal Generalized Procrustes Analy...
Sort
View
DAC
2006
ACM
16 years 25 days ago
Early cutpoint insertion for high-level software vs. RTL formal combinational equivalence verification
Ever-growing complexity is forcing design to move above RTL. For example, golden functional models are being written as clearly as possible in software and not optimized or intend...
Xiushan Feng, Alan J. Hu
MICCAI
2006
Springer
16 years 25 days ago
Probabilistic Brain Atlas Encoding Using Bayesian Inference
This paper addresses the problem of creating probabilistic brain atlases from manually labeled training data. We propose a general mesh-based atlas representation, and compare diff...
Koen Van Leemput
IPMI
2003
Springer
16 years 22 days ago
Evaluation of 3D Correspondence Methods for Model Building
Abstract. The correspondence problem is of high relevance in the construction and use of statistical models. Statistical models are used for a variety of medical application, e.g. ...
Martin Styner, Kumar T. Rajamani, Lutz-Peter Nolte...
ICML
1995
IEEE
16 years 21 days ago
Residual Algorithms: Reinforcement Learning with Function Approximation
A number of reinforcement learning algorithms have been developed that are guaranteed to converge to the optimal solution when used with lookup tables. It is shown, however, that ...
Leemon C. Baird III
WWW
2009
ACM
16 years 17 days ago
Learning to tag
Social tagging provides valuable and crucial information for large-scale web image retrieval. It is ontology-free and easy to obtain; however, irrelevant tags frequently appear, a...
Lei Wu, Linjun Yang, Nenghai Yu, Xian-Sheng Hua