3256 search results - page 563 / 652 » Learning Linear Transformations |
SIGMOD
2001
ACM
14 years 11 months ago
2001
ACM
In this paper we present a method for automatically segmenting unformatted text records into structured elements. Several useful data sources today are human-generated as continuo...
ATS
2009
IEEE
14 years 6 months ago
2009
IEEE
Abstract—SAT-based ATPG turned out to be a robust alternative to classical structural ATPG algorithms such as FAN. The number of unclassified faults can be significantly reduce...
ICB
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. Heterogeneous face images come from different lighting conditions or different imaging devices, such as visible light (VIS) and near infrared (NIR) based. Because heter...
SIGIR
2009
ACM
14 years 5 months ago
2009
ACM
Long queries frequently contain many extraneous terms that hinder retrieval of relevant documents. We present techniques to reduce long queries to more effective shorter ones tha...
DATE
2008
IEEE
14 years 5 months ago
2008
IEEE
With the advance of SAT solvers, transforming a software program to a propositional formula has generated much interest for bounded model checking of software in recent years. How...