Sciweavers

6794 search results - page 352 / 1359
» Semantics of Visual Languages
Sort
View
VVEIS
2008
15 years 8 months ago
An Executable Semantics of Object-oriented Models for Simulation and Theorem Proving
This paper presents an executable semantics of OO models. We made it possible to conduct both simulation and theorem proving on the semantics by implementing its underlying heap me...
Kenro Yatake, Takuya Katayama
ACL
1998
15 years 8 months ago
The Computational Lexical Semantics of Syntagmatic Relations
In this paper, we address the issue of syntagmatic expressions from a computational lexical semantic perspective. From a representational viewpoint, we argue for a hybrid approach...
Evelyne Viegas, Stephen Beale, Sergei Nirenburg
ENGL
2007
99views more  ENGL 2007»
15 years 6 months ago
Semantic Information Retrieval: a return on experience
—In previous works, we have presented the advantages of using a domain ontology and annotations on information retrieval as well as the translation problems between languages wit...
R. Carolina Medina Ramírez
ISCI
2007
90views more  ISCI 2007»
15 years 6 months ago
Database design and querying within the fuzzy semantic model
Fuzzy semantic model (FSM) is a data model that uses basic concepts of semantic modeling and supports handling fuzziness, uncertainty and imprecision of real-world at the attribut...
Rafik Bouaziz, Salem Chakhar, Vincent Mousseau, Su...
FAC
2002
104views more  FAC 2002»
15 years 6 months ago
Deep Semantic Links of TCSP and Object-Z: TCOZ Approach
Formal methods can be used in effective combination only if the semantic links between individual methods are clearly established. This paper discusses the semantic design of TCOZ,...
Brendan P. Mahony, Jin Song Dong