1401 search results - page 28 / 281 » Tool Integration for Reasoned Programming |
ECLIPSE
2005
ACM
13 years 10 months ago
2005
ACM
Software program families have a long tradition and will gain momentum in the future. Today’s research tries to move software development to a new quality of industrial producti...
EXACT
2008
13 years 11 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 ...
INTERACT
2003
13 years 10 months ago
2003
: In this paper we discuss issues for the integration of computing power in mundane artefacts. We do so with reference to a recent project with a manufacturer of ovens for larger k...
IRCDL
2008
13 years 10 months ago
2008
Annotation and retrieval tools for multimedia digital libraries have to cope with the complexity of multimedia content. In particular, when dealing with video content, annotation ...
ECAI
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. The deployment of KR formalisms to the Web has created the need for formalisms that combine heterogeneous knowledge bases. Nonmonotonic dl-programs provide a loose integr...