Sciweavers

8828 search results - page 357 / 1766
» Formal methods in practice
Sort
View
ICIP
2005
IEEE
16 years 8 months ago
Comparative study: face recognition on unspecific persons using linear subspace methods
Recently many Automatic Face Recognition (AFR) systems were developed for applications with unspecific persons, which is different from conventional pattern recognition problems wh...
Dahua Lin, Shuicheng Yan, Xiaoou Tang
ICML
2005
IEEE
16 years 7 months ago
Learning approximate preconditions for methods in hierarchical plans
A significant challenge in developing planning systems for practical applications is the difficulty of acquiring the domain knowledge needed by such systems. One method for acquir...
Dana S. Nau, David W. Aha, Héctor Muñ...
ICA
2007
Springer
16 years 28 days ago
Two Improved Sparse Decomposition Methods for Blind Source Separation
In underdetermined blind source separation problems, it is common practice to exploit the underlying sparsity of the sources for demixing. In this work, we propose two sparse decom...
B. Vikrham Gowreesunker, Ahmed H. Tewfik
VLDB
1991
ACM
122views Database» more  VLDB 1991»
15 years 10 months ago
An Iterative Method for Distributed Database Design
The development of a distributed database systemrequires effective solutions to many complex and interrelated design problems. The cost dependenciesbetween query optimization and ...
Rex Blankinship, Alan R. Hevner, S. Bing Yao
NIPS
2004
15 years 8 months ago
A Method for Inferring Label Sampling Mechanisms in Semi-Supervised Learning
We consider the situation in semi-supervised learning, where the "label sampling" mechanism stochastically depends on the true response (as well as potentially on the fe...
Saharon Rosset, Ji Zhu, Hui Zou, Trevor Hastie