Sciweavers

923 search results - page 68 / 185
» On the Computation of Relational View Complements
Sort
View
ECCV
2006
Springer
16 years 1 months ago
Covariant Derivatives and Vision
Abstract. We describe a new theoretical approach to Image Processing and Vision. Expressed in mathemetical terminology, in our formalism image space is a fibre bundle, and the imag...
Todor Georgiev
ICALP
2009
Springer
16 years 4 days ago
Approximating Markov Processes by Averaging
We take a dual view of Markov processes ? advocated by Kozen ? as transformers of bounded measurable functions. We redevelop the theory of labelled Markov processes from this view ...
Philippe Chaput, Vincent Danos, Prakash Panangaden...
SIGGRAPH
1999
ACM
15 years 4 months ago
View-dependent Geometry
When constructing 3D geometry for use in cel animation, the reference drawings of the object or character often contain various view-specific distortions, which cannot be captured...
Paul Rademacher
CORR
2011
Springer
207views Education» more  CORR 2011»
14 years 6 months ago
DB Category: Denotational Semantics for View-based Database Mappings
Abstract. We present a categorical denotational semantics for a database mapping, based on views, in the most general framework of a database integration/exchange. Developed databa...
Zoran Majkic
ENTCS
2008
75views more  ENTCS 2008»
14 years 12 months ago
On the Refinement of Atomic Actions
Inspired by the properties of the refinement development of the Mondex Electronic Purse, we view an atomic action as a family of transitions with a common before-state, and differ...
Richard Banach, Gerhard Schellhorn