236 search results - page 25 / 48 » Strong normalization results by translation |
ECCV
2010
Springer
14 years 2 months ago
2010
Springer
Abstract. Even a relatively unstructured captioned image set depicting a variety of objects in cluttered scenes contains strong correlations between caption words and repeated visu...
ICASSP
2011
IEEE
13 years 2 months ago
2011
IEEE
The context-independent deep belief network (DBN) hidden Markov model (HMM) hybrid architecture has recently achieved promising results for phone recognition. In this work, we pro...
CADE
2012
Springer
12 years 1 months ago
2012
Springer
We propose a word level, bounded model checking (BMC) algorithm based on translation into the effectively propositional fragment (EPR) of firstorder logic. This approach to BMC al...
ICML
2007
IEEE
14 years 11 months ago
2007
IEEE
We study the problem of discovering a manifold that best preserves information relevant to a nonlinear regression. Solving this problem involves extending and uniting two threads ...
HICSS
2003
IEEE
14 years 4 months ago
2003
IEEE
Bilingual term lists are extensively used as a resource for dictionary-based Cross-Language Information Retrieval (CLIR), in which the goal is to find documents written in one na...