1181 search results - page 58 / 237 » A New Definition of Creativity |
119
Voted
CSL
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. In this paper, we first briefly survey automated termination proof methods for higher-order calculi. We then concentrate on the higher-order recursive path ordering, for ...
132
Voted
DLOG
2000
15 years 6 months ago
2000
In this contribution we present an empirical analysis of the performance of the ALCNHR+ description logic system RACE applied to TBoxes with a very large number of primitive conce...
120
click to vote
ANLP
1997
15 years 6 months ago
1997
This paper presents a statistical, learned approach to finding names and other nonrecursive entities in text (as per the MUC-6 definition of the NE task), using a variant of the s...
136
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
In this paper we present a simple database definition language: that of categories and functors. A database schema is a category and a state is a set-valued functor. We show that m...
133
click to vote
DAM
2008
15 years 4 months ago
2008
ct The average case analysis of algorithms usually assumes independent, identical distributions for the inputs. In [?], Kenyon introduced the random-order ratio, a new average case...