Sciweavers

599 search results - page 13 / 120
» Interpreting the Object Constraint Language
Sort
View
BIRTHDAY
2009
Springer
13 years 11 months ago
On the Evolution of OCL for Capturing Structural Constraints in Modelling Languages
Abstract. The Object Constraint Language (OCL) can be used to capture strucnstraints in the context of the abstract syntax of modelling languages (metamodels) defined in the MOF me...
Dimitrios S. Kolovos, Richard F. Paige, Fiona A. C...
ICCV
2005
IEEE
14 years 3 months ago
Degenerate Cases and Closed-form Solutions for Camera Calibration with One-Dimensional Objects
Camera Calibration with one-dimensional objects is based on an algebraic constraint on the image of the absolute conic. We will give an alternative derivation to this constraint, ...
Pär Hammarstedt, Peter F. Sturm, Anders Heyde...
IAT
2006
IEEE
14 years 3 months ago
Generic Command Interpretation Algorithms for Conversational Agents
AbstractThis paper focuses on human-machine communication with intelligent agents, it proposes a generic architecture with an algorithm for natural language (NL) command interpreta...
Laurent Mazuel, Nicolas Sabouret
CORR
2000
Springer
144views Education» more  CORR 2000»
13 years 9 months ago
Sequence-Based Abstract Interpretation of Prolog
-BASED ABSTRACT INTERPRETATION OF PROLOG1 BAUDOUIN LE CHARLIER, SABINA ROSSI, AND PASCAL VAN HENTENRYCK . Abstract interpretation is a general methodology for systematic developmen...
Baudouin Le Charlier, Sabina Rossi, Pascal Van Hen...
UML
2000
Springer
14 years 1 months ago
Extending OCL to include Actions
The UML's Object Constraint Language provides the modeller of object-oriented systems with ways to express the semantics of a model in a precise and declarative manner. The co...
Anneke Kleppe, Jos Warmer