605 search results - page 60 / 121 » Normalizers and Split Extensions |
100
click to vote
ECCV
2010
Springer
15 years 4 months ago
2010
Springer
Learning a new object class from cluttered training images is very challenging when the location of object instances is unknown. Previous works generally require objects covering a...
109
click to vote
TABLEAUX
2009
Springer
15 years 3 months ago
2009
Springer
Abstract. Bi-intuitionistic logic is a conservative extension of intuitionistic logic with a connective dual to implication, called exclusion. We present a sound and complete cut-f...
EUROCAST
2001
Springer
15 years 3 months ago
2001
Springer
Abstract. This paper introduces a higher-order lazy narrowing calculus (HOLN for short) that solves higher-order equations over the domain of simply typed λ-terms. HOLN is an exte...
FLOPS
2001
Springer
15 years 3 months ago
2001
Springer
We introduce a simply typed λ-calculus λκε which has both contexts and environments as first-class values. In λκε, holes in contexts are represented by ordinary variables ...
PCI
2001
Springer
15 years 3 months ago
2001
Springer
Abstract. Extensive research has been carried out in search for an efcient atomic commit protocol and many optimizations have been suggested to improve the basic two-phase commit p...