3318 search results - page 6 / 664 » The Weak Instance Model |
GECCO
2006
Springer
13 years 10 months ago
2006
Springer
Recognition of motifs in multiple unaligned sequences provides an insight into protein structure and function. The task of discovering these motifs is very challenging because mos...
ENTCS
2006
13 years 7 months ago
2006
We formalize two proofs of weak head normalization for the simply typed lambdacalculus in first-order minimal logic: one for normal-order reduction, and one for applicative-order ...
CP
2008
Springer
13 years 8 months ago
2008
Springer
Abstract. Work by Kilby, Slaney, Thiebaux and Walsh [1] showed that the backdoors and backbones of unstructured Random 3SAT instances are largely disjoint. In this work we extend t...
ECCV
2008
Springer
14 years 8 months ago
2008
Springer
Abstract. Object detection is one of the key problems in computer vision. In the last decade, discriminative learning approaches have proven effective in detecting rigid objects, a...
DEXA
1998
Springer
13 years 11 months ago
1998
Springer
This paper presents a framework for a learning based approach to dynamically evolve the conceptual structure of a database in order to facilitate virtual representation of data in ...