Sciweavers

599 search results - page 25 / 120
» Interpreting the Object Constraint Language
Sort
View
MVA
1990
101views Computer Vision» more  MVA 1990»
14 years 3 days ago
Recognition of Parametrised Models from 3D Data
This paper describes work done as part of the Oxford AGV (Autonomous Guided Vehicle) project [2] towards recognition of classes of objects to be encountered in a factory environme...
Ian D. Reid
ACL
1998
14 years 9 days ago
Eliminative Parsing with Graded Constraints
Abstract Resource adaptlvity" Because the sets of strucNatural language parsing is conceived to be a procedure of disambiguation, which successively reduces an initially total...
Johannes Heinecke, Jürgen Kunze, Wolfgang Men...
MMMACNS
2001
Springer
14 years 3 months ago
Typed MSR: Syntax and Examples
Abstract. Many design flaws and incorrect analyses of cryptographic protoAppeared in the Proceedings of the First International Workshop on Mathematical Methods, Models and Archit...
Iliano Cervesato
IDEAS
2003
IEEE
120views Database» more  IDEAS 2003»
14 years 4 months ago
A Framework for Customisable Schema Evolution in Object-Oriented Databases
This paper describes an evolution framework supporting customisation of the schema evolution and instance adaptation approaches in an object database management system. The framew...
Awais Rashid
FOSSACS
1998
Springer
14 years 3 months ago
Functor Categories and Two-Level Languages
Abstract. We propose a denotational semantics for the two-level language of [GJ91, Gom92], and prove its correctness w.r.t. a standard denotational semantics. Other researchers (se...
Eugenio Moggi