4266 search results - page 646 / 854 » A Framework for Defining Logics |
218
click to vote
ICCSA
2011
Springer
14 years 10 months ago
2011
Springer
The standardization of the design of learning games is a contradictory topic: The existence of a rich variety of domains and applications is in conflict with the desire for unifica...
195
click to vote
ECCV
1994
Springer
15 years 10 months ago
1994
Springer
This paper describes a new approach to the integration and control of continuously operating visual processes. Visual processes are expressed as transformations which map signals ...
183
click to vote
EACL
2006
ACL Anthology
15 years 8 months ago
2006
ACL Anthology
We place synchronous tree-adjoining grammars and tree transducers in the single overarching framework of bimorphisms, continuing the unification of synchronous grammars and tree t...
206
click to vote
CAD
2004
Springer
15 years 6 months ago
2004
Springer
Solid modeling based on partial differential equations (PDEs) can potentially unify both geometric constraints and functional requirements within a single design framework to mode...
225
click to vote
IJCV
2008
15 years 5 months ago
2008
This paper deals with video segmentation based on motion and spatial information. Classically, the motion term is based on a motion compensation error (MCE) between two consecutiv...