1836 search results - page 182 / 368 » Hierarchies for semantic classes |
LISP
2007
14 years 10 months ago
2007
: The Krivine machine is a simple and natural implementation of the normal weak-head reduction strategy for pure λ-terms. While its original description has remained unpublished, ...
98
Voted
DKE
1998
14 years 10 months ago
1998
The main purpose of this paper is to investigate the characteristics that distinguish spatial databases systems from traditional ones. Hereto, we give an overview of some well-kno...
99
Voted
TSE
2002
14 years 9 months ago
2002
This paper presents an empirical study in an industrial context on the production of software using a framework. Frameworks are semicomplete applications, usually implemented as a ...
CVPR
2011
IEEE
14 years 6 months ago
2011
IEEE
We present a hierarchical classification model that allows rare objects to borrow statistical strength from related objects that have many training examples. Unlike many of the e...
104
Voted
AAAI
2012
13 years 18 days ago
2012
Tractable subsets of first-order logic are a central topic in AI research. Several of these formalisms have been used as the basis for first-order probabilistic languages. Howev...