7529 search results - page 303 / 1506 » The Modula-3 Type System |
182
click to vote
AIIA
2009
Springer
16 years 1 months ago
2009
Springer
With traditional Question Answering (QA) systems having reached nearly satisfactory performance, an emerging challenge is the development of successful Interactive Question Answeri...
145
click to vote
IEAAIE
2009
Springer
16 years 1 months ago
2009
Springer
A decision support system model is described to advise nature park managers. It applies dynamic modelling techniques to relate abiotic characteristics of a site over time to specie...
173
Voted
ICDCSW
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper, we argue that there is a need for an event-based middleware to build large-scale distributed systems. Existing publish/subscribe systems still have limitations comp...
143
Voted
ICAIL
1999
ACM
15 years 11 months ago
1999
ACM
In this paper, we describe an evaluation framework for legal information systems. The framework is based on knowledge criteria. We distinguish four belief types, viz. perceptual b...
204
click to vote
LFCS
1992
Springer
15 years 10 months ago
1992
Springer
This paper addresses the problem of extending the formulae-as-types principle to classical logic. More precisely, we introduce a typed lambda-calculus (-LK ) whose inhabited types...