1515 search results - page 295 / 303 » On the relation of aspects and monads |
NLE
2008
13 years 7 months ago
2008
This paper describes clime, a web-based legal advisory system with a multilingual natural language interface. clime is a `proof-of-concept' system which answers queries relat...
OCLC
2008
13 years 7 months ago
2008
Purpose of this paper By describing some of the often ignored aspects of repository advocacy, such as disciplinary differences and how these might affect the adoption of a particu...
SIGIR
2008
ACM
13 years 7 months ago
2008
ACM
Several recent studies have found only a weak relationship between the performance of a retrieval system and the "success" achievable by human searchers. We hypothesize ...
IJRR
2007
13 years 7 months ago
2007
Large area mapping at high resolution underwater continues to be constrained by sensor-level environmental constraints and the mismatch between available navigation and sensor acc...
JFP
2007
13 years 7 months ago
2007
The LF logical framework codifies a methodology for representing deductive systems, such as programming languages and logics, within a dependently typed λ-calculus. In this meth...