Sciweavers

1458 search results - page 34 / 292
» System Model-Based Definition of Modeling Language Semantics
Sort
View
SAC
2004
ACM
14 years 1 months ago
Multilingual semantic elaboration in the DOSE platform
From the early World Wide Web exploitation until contemporary Semantic Web generation, global communication has become an essential need for many people on the Internet. Globaliza...
Dario Bonino, Fulvio Corno, Laura Farinetti, Andre...
ISORC
2000
IEEE
13 years 11 months ago
Verification of UML-Based Real-Time System Designs by Means of cTLA
The Unified Modeling Language UML is well-suited for the design of real-time systems. In particular, the design of dynamic system behaviors is supported by interaction diagrams an...
Günter Graw, Peter Herrmann, Heiko Krumm
COLING
2010
13 years 2 months ago
Semantic Role Features for Machine Translation
We propose semantic role features for a Tree-to-String transducer to model the reordering/deletion of source-side semantic roles. These semantic features, as well as the Tree-to-S...
Ding Liu, Daniel Gildea
ICFP
2007
ACM
14 years 7 months ago
Ott: effective tool support for the working semanticist
It is rare to give a semantic definition of a full-scale programming language, despite the many potential benefits. Partly this is because the available metalanguages for expressi...
Peter Sewell, Francesco Zappa Nardelli, Scott Owen...
COLING
2008
13 years 9 months ago
Modeling Semantic Containment and Exclusion in Natural Language Inference
We propose an approach to natural language inference based on a model of natural logic, which identifies valid inferences by their lexical and syntactic features, without full sem...
Bill MacCartney, Christopher D. Manning