428 search results - page 29 / 86 » Completeness of a Fact Extractor |
PPDP
2000
Springer
15 years 1 months ago
2000
Springer
Erlang is a concurrent functional programming language designed to ease the development of large-scale distributed soft real-time control applications. It has so far been quite su...
75
Voted
TSD
2000
Springer
15 years 1 months ago
2000
Springer
In this article, we present a test environment for a word analysis system that is used for reliable and sense-conveying hyphenation of German words. A crucial task is the hyphenati...
107
Voted
TYPES
1995
Springer
15 years 1 months ago
1995
Springer
Natural Deduction style presentations of program logics are useful in view of the implementation of such logics in interactive proof development environments, based on type theory,...
68
Voted
ECML
1991
Springer
15 years 1 months ago
1991
Springer
This paper presents an approach to domain modeling and knowledge acquisition that consists of a gradual and goal-driven improvement of an incomplete domain model provided by a hum...
90
Voted
AIPS
2007
14 years 12 months ago
2007
Due to its important practical applications, temporal planning is of great research interest in artificial intelligence. Yet most of the work in this area so far is limited in at...