Sciweavers

1268 search results - page 66 / 254
» Modeling Natural Language Communication in Database Semantic...
Sort
View
MODELS
2007
Springer
15 years 4 months ago
Bidirectional Model Transformations in QVT: Semantic Issues and Open Questions
Abstract. We consider the OMG’s Queries, Views and Transformations (QVT) standard as applied to the specification of bidirectional transformations between models. We discuss wha...
Perdita Stevens
IANDC
2010
125views more  IANDC 2010»
14 years 8 months ago
Continuation semantics for the Lambek-Grishin calculus
Categorial grammars in the tradition of Lambek [18, 19] are asymmetric: sequent statements are of the form Γ ⇒ A, where the succedent is a single formula A, the antecedent a st...
Raffaella Bernardi, Michael Moortgat
WSC
2007
15 years 4 days ago
Application of BML to inter-agent communication in the ITSimBw simulation environment
In this contribution we analyze communication requirements of multi-agent simulation systems using ITSimBw – developed at Fraunhofer IAIS – as an example. A focus is put on is...
Philipp Hügelmeyer, Ulrich Schade, Thomas Z&o...
IWFM
2000
107views Formal Methods» more  IWFM 2000»
14 years 11 months ago
A Comparison of Three Model Checkers Applied to a Distributed Database Problem
ct Increasingly, model checking is being applied to more abstract problem domains than the traditional protocol analysis. The extent to which such an approach is able to provide us...
A. J. Currie
IR
2006
14 years 9 months ago
Multilingual modeling of cross-lingual spelling variants
Technical term translations are important for cross-lingual information retrieval. In many languages, new technical terms have a common origin rendered with different spelling of ...
Krister Lindén