2586 search results - page 240 / 518 » Automatic Abstraction for Congruences |
171
click to vote
ISVC
2009
Springer
2009
Springer
Probabilistic Facial Feature Extraction Using Joint Distribution of Location and Texture Information
16 years 1 months ago
Abstract. In this work, we propose a method which can extract critical points on a face using both location and texture information. This new approach can automatically learn featu...
169
click to vote
KI
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. This paper presents the overall system of a learning, selforganizing, and adaptive controller used to optimize the combustion process in a hard-coal fired power plant. T...
224
click to vote
MKM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Formal verification of numerical programs is notoriously difficult. On the one hand, there exist automatic tools specialized in floatingpoint arithmetic, such as Gappa...
170
click to vote
SIGIR
2009
ACM
16 years 1 months ago
2009
ACM
Abstract. One major goal of text mining is to provide automatic methods to help humans grasp the key ideas in ever-increasing text corpora. To this effect, we propose a statistica...
184
click to vote
CISS
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— A cross-layer optimization combining retransmission diversity with multi-user diversity is investigated for wireless communications. To this end, a joint design of adap...