9455 search results - page 1717 / 1891 » The Modelling Language Zinc |
162
click to vote
XSYM
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We propose a mapping from the Enhanced Entity Relationship conceptual model to the W3C XML Schema Language with the following properties: information and integrity constr...
139
click to vote
ATAL
2009
Springer
15 years 11 months ago
2009
Springer
Multi-agent systems where the members are developed by parties with competing interests, and where there is no access to a member’s internal state, are often classified as ‘o...
137
click to vote
CALCO
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. In this paper we describe a language and method for deriving ontologies and ordering databases. The ontological structures arrived at are distributive lattices with attri...
127
click to vote
CIKM
2009
Springer
15 years 11 months ago
2009
Springer
We describe a novel simple and highly scalable semi-supervised method called Word-Class Distribution Learning (WCDL), and apply it the task of information extraction (IE) by utili...
142
click to vote
CSL
2009
Springer
15 years 11 months ago
2009
Springer
Separation logic is a Hoare-style logic for reasoning about programs with heap-allocated mutable data structures. As a step toward extending separation logic to high-level language...