Sciweavers

3634 search results - page 286 / 727
» The Field Representation Language
Sort
View
ECEASST
2008
121views more  ECEASST 2008»
15 years 6 months ago
Analyzing Semantic Properties of OCL Operations by Uncovering Interoperational Relationships
The OCL (Object Constraint Language) as part of the UML (Unified Modeling Language) is a rich language with different collection kinds (sets, multi-sets, sequences) and a large var...
Mirco Kuhlmann, Martin Gogolla
MT
2002
107views more  MT 2002»
15 years 6 months ago
Translation with Scarce Bilingual Resources
Machine translation of human languages is a field almost as old as computers themselves. Recent approaches to this challenging problem aim at learning translation knowledge automat...
Yaser Al-Onaizan, Ulrich Germann, Ulf Hermjakob, K...
AIIA
2007
Springer
16 years 27 days ago
Curricula Modeling and Checking
In this work, we present a constrained-based representation for specifying the goals of “course design”, that we call curricula model, and introduce a graphical language, groun...
Matteo Baldoni, Cristina Baroglio, Elisa Marengo
AIME
2007
Springer
16 years 27 days ago
Replacing SEP-Triplets in SNOMED CT Using Tractable Description Logic Operators
Reification of parthood relations according to the SEP-triplet encoding pattern has been employed in the clinical terminology SNOMED CT to simulate transitivity of the part-of rel...
Boontawee Suntisrivaraporn, Franz Baader, Stefan S...
CP
2005
Springer
16 years 7 days ago
Towards the Systematic Generation of Channelling Constraints
Abstract. The automatic modelling tool Conjure generates CSP models from problem specifications. The generated models may contain multiple alternative (redundant) representations ...
Bernadette Martínez Hernández, Alan ...