Sciweavers

689 search results - page 8 / 138
» Encapsulation theory fundamentals
Sort
View
IMPERIAL
1993
14 years 16 days ago
Deriving Category Theory from Type Theory
This work expounds the notion that (structured) categories are syntax free presentations of type theories, and shows some of the ideas involved in deriving categorical semantics f...
Roy L. Crole
DICTA
2007
13 years 10 months ago
The Tower of Knowledge Scheme for Learning in Computer Vision
A scheme, named tower of knowledge (ToK), is proposed for interpreting 3D scenes. The ToK encapsulates causal dependencies between object appearance and functionality. We demonstr...
Maria Petrou, Mai Xu
SIAMCO
2010
93views more  SIAMCO 2010»
13 years 3 months ago
Morphological Control Problems with State Constraints
In this paper, we extend fundamental notions of control theory to evolving compact subsets of the Euclidean space
Thomas Lorenz
ICDCSW
2002
IEEE
14 years 1 months ago
Event Systems: How to Have Your Cake and Eat It Too
This paper addresses the fundamental tradeoffs in event systems between scalability (of event filtering, routing, and delivery mechanisms), expressiveness (when describing intere...
Patrick Th. Eugster, Pascal Felber, Rachid Guerrao...
TIT
1998
127views more  TIT 1998»
13 years 8 months ago
The Art of Signaling: Fifty Years of Coding Theory
—In 1948 Shannon developed fundamental limits on the efficiency of communication over noisy channels. The coding theorem asserts that there are block codes with code rates arbit...
A. Robert Calderbank