Sciweavers

454 search results - page 41 / 91
» Holistic Context Modeling using Semantic Co-occurrences
Sort
View
LICS
1989
IEEE
14 years 22 days ago
Faithful Ideal Models for Recursive Polymorphic Types
We explore ideal models for a programming language with recursive polymorphic types, variants of the model studied by MacQueen, Plotkin, and Sethi. The use of suitable ideals yiel...
Martín Abadi, Benjamin C. Pierce, Gordon D....
ICECCS
2009
IEEE
140views Hardware» more  ICECCS 2009»
14 years 3 months ago
Common Pitfalls of Using QVT Relations - Graphical Debugging as Remedy
OMG’s Model-Driven Architecture (MDA) has emerged as a new approach for the development of software. For this, the Query/View/Transformation (QVT) standard plays a central role,...
Angelika Kusel, Wieland Schwinger, Manuel Wimmer, ...
DAGSTUHL
2004
13 years 10 months ago
An Example for Metamodeling Syntax and Semantics of Two Languages, their Transformation, and a Correctness Criterion
We study a metamodel for the Entity Relationship (ER) and the Relational data model. We do this by describing the syntax of the ER data model by introducing classes for ER schemata...
Martin Gogolla
DIAGRAMS
2000
Springer
14 years 1 months ago
Positive Semantics of Projections in Venn-Euler Diagrams
Venn diagrams and Euler circles have long been used as a means of expressing relationships among sets using visual metaphors such as \disjointness" and \containment" of t...
Joseph Gil, John Howse, Elena Tulchinsky
EKAW
2004
Springer
14 years 2 months ago
Knowledge Modelling for Deductive Web Mining
Abstract. Knowledge-intensive methods that can altogether be characterised as deductive web mining (DWM) already act as supporting technology for building the semantic web. Reusabl...
Vojtech Svátek, Martin Labský, Miros...