4352 search results - page 145 / 871 » A Representation Theorem and Applications |
149
click to vote
SAT
2009
Springer
16 years 27 days ago
2009
Springer
Different quantifier types in Quantified Boolean Formulae (QBF) introduce variable dependencies which have to be taken into consideration when deciding satisfiability of a QBF....
225
click to vote
ISBI
2007
IEEE
16 years 20 days ago
2007
IEEE
Three-dimensional mammary cell culture models offer new opportunities for the development of computational techniques for segmentation, localization, and multicellular organizatio...
159
click to vote
AUSAI
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. Temporal expressions—references to points in time or periods of time—are widespread in text, and their proper interpretation is essential for any natural language pro...
145
click to vote
ICANN
2005
Springer
15 years 12 months ago
2005
Springer
Image superresolution involves the processing of an image sequence to generate a still image with higher resolution. Classical approaches, such as bayesian MAP methods, require ite...
179
click to vote
NOLISP
2005
Springer
15 years 12 months ago
2005
Springer
Feature projection by non-linear discriminant analysis (NLDA) can substantially increase classification performance. In automatic speech recognition (ASR) the projection provided b...