19003 search results - page 57 / 3801 » We Need Assurance! |
EXACT
2008
13 years 10 months ago
2008
This paper describes the problems with debugging tools for answer set programming, a declarative programming paradigm. Current approaches are difficult to use on most applications ...
CIKM
2003
Springer
14 years 1 months ago
2003
Springer
Searchers can have problems devising queries that accurately express their, often dynamic, information needs. In this paper we describe an adaptive approach that uses unobtrusive ...
IUI
2009
ACM
14 years 4 months ago
2009
ACM
Mobile phones are becoming increasingly popular as a means of information access while on-the-go. Mobile users are likely to be interested in locating different types of content. ...
CHI
2008
ACM
14 years 8 months ago
2008
ACM
Being mobile influences not only the types of information people seek but also the ways they attempt to access it. Mobile contexts present challenges of changing location and soci...
CORR
2004
Springer
13 years 7 months ago
2004
Springer
Many functional logic languages are based on narrowing, a unification-based goal-solving mechanism which subsumes the reduction mechanism of functional languages and the resolutio...