2696 search results - page 247 / 540 » Semantic Abstraction and Anaphora |
183
click to vote
CALCO
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Parameterised monads have the same relationship to adjunctions with parameters as monads do to adjunctions. In this paper, we investigate algebras for parameterised monad...
151
click to vote
CALCO
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. Viewing discrete-time causal linear systems as (Mealy) coalgebras, we describe their semantics, minimization and realisation as universal constructions, based on the fin...
169
click to vote
ICLP
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. The system presented in this paper aims at using Contextual Logic Programming as a computational hub for knowledge modeled by web ontologies and enable querying that repr...
159
Voted
SAMT
2007
Springer
16 years 23 days ago
2007
Springer
Abstract—This paper presents an annotation tool for the manual and region-based annotation of still images. The selection of regions is achieved by navigating through a Partition...
174
click to vote
AIED
2005
Springer
16 years 5 days ago
2005
Springer
This paper explores the idea of using contexts to support more efficient information search in Topic Maps-based digital libraries. The notion of context is d as abstraction of grou...