831 search results - page 44 / 167 » Coalgebraic Correspondence Theory |
110
click to vote
TIP
2008
14 years 11 months ago
2008
This correspondence presents a video tracking framework using control-based observer design. It unifies several kernel-based approaches into a consistent theoretical framework by m...
CSL
2002
Springer
14 years 11 months ago
2002
Springer
Ludics has been proposed by Girard as an abstract general approach to proof theory. We explain how its basic notions correspond to those of the "innocent strategy" apprao...
105
click to vote
CICLING
2006
Springer
15 years 3 months ago
2006
Springer
In this paper a theory of dialogue acts analysis in problem-solving tasks-oriented conversations is presented. The theory postulates that in practical dialogues every transaction h...
112
click to vote
CORR
1999
Springer
14 years 11 months ago
1999
Springer
The abstract mathematical theory of partial differential equations (PDEs) is formulated in terms of manifolds,scalar fields, tensors, and the like, but these algebraic structures a...
110
click to vote
KR
2004
Springer
15 years 5 months ago
2004
Springer
The causal logic from (Bochman 2003b) is shown to provide a natural logical basis for logic programming. More exactly, it is argued that any logic program can be seen as a causal ...