1187 search results - page 35 / 238 » Graph-Based Procedural Abstraction |
AH
2004
Springer
15 years 1 months ago
2004
Springer
Abstract. This paper presents an approach that uses the techniques of plan recognition not only to infer short-term plans and goals, but also to infer the long-term procedural know...
VLDB
1987
ACM
15 years 1 months ago
1987
ACM
The design of the POSTGRES data model is described. The data model is a relational model that has been extended with abstract data types including user-defined operators and proce...
AMAST
2004
Springer
15 years 1 months ago
2004
Springer
Abstract. In this work we study the unification of heterogeneous partial specifications using category theory. We propose an alternative to inn morphisms, which we call (abstract) ...
CIVR
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. We propose a graph based method to improve the performance of person queries in large news video collections. The method benefits from the multi-modal structure of videos...
101
click to vote
FOSSACS
2012
Springer
13 years 5 months ago
2012
Springer
Coalgebra offers a unified theory of state based systems, including infinite streams, labelled transition systems and deterministic automata. In this paper, we use the coalgebrai...