Sciweavers

851 search results - page 98 / 171
» A Framework of Syntactic Models for the Implementation of Vi...
Sort
View
FMCO
2007
Springer
169views Formal Methods» more  FMCO 2007»
14 years 3 months ago
An Object-Oriented Component Model for Heterogeneous Nets
Abstract. Many distributed applications can be understood in terms of components interacting in an open environment. This interaction is not always uniform as the network may consi...
Einar Broch Johnsen, Olaf Owe, Joakim Bjørk...
POPL
2007
ACM
14 years 9 months ago
Types, bytes, and separation logic
We present a formal model of memory that both captures the lowlevel features of C's pointers and memory, and that forms the basis for an expressive implementation of separati...
Harvey Tuch, Gerwin Klein, Michael Norrish
CBSE
2007
Springer
14 years 3 months ago
Soya: A Programming Model and Runtime Environment for Component Composition Using SSDL
Abstract. The SOAP Service Description Language (SSDL) is a SOAPcentric language for describing Web Service contracts. SSDL focuses on abstraction as the building block for creatin...
Patric Fornasier, Jim Webber, Ian Gorton
CVPR
2007
IEEE
14 years 11 months ago
Flexible Object Models for Category-Level 3D Object Recognition
Today's category-level object recognition systems largely focus on fronto-parallel views of objects with characteristic texture patterns. To overcome these limitations, we pr...
Akash Kushal, Cordelia Schmid, Jean Ponce
IEEEICCI
2008
IEEE
14 years 3 months ago
The computational manifold approach to consciousness and symbolic processing in the cerebral cortex
—A new abstract model of computation, the computational manifold, provides a framework for approaching the problems of consciousness, awareness, cognition and symbolic processing...
Douglas S. Greer