9873 search results - page 456 / 1975 » Emergent Semantics Systems |
234
click to vote
DAGSTUHL
1993
15 years 9 months ago
1993
Abstract. We present the hybrid query language HQL/EER for an Extended Entity-Relationship model. As its main characteristic, this language allows a user to freely mix graphical an...
190
click to vote
AAAI
1990
15 years 8 months ago
1990
Cost-based abduction attempts to find the best explanation for a set of facts by finding a minimal cost proof for the facts. The costs are computed by summing the costs of the ass...
191
click to vote
ENTCS
2008
15 years 7 months ago
2008
It has been claimed by many in the graph transformation community that model transformation, as understood in the context of Model Driven Architecture, can be seen as an applicati...
219
click to vote
ENTCS
2008
15 years 7 months ago
2008
We show how to reason, in the proof assistant Coq, about realistic programming languages using a combination of separation logic and heterogeneous multimodal logic. A heterogeneou...
212
click to vote
EXPERT
2006
15 years 7 months ago
2006
ing organizational abstractions as first-class citizens in the design process.2,3 So, a promising approach would be to combine Semantic Web services4 and agent technologies5,6 for ...