Sciweavers

1490 search results - page 57 / 298
» Interactive semantics
Sort
View
ACSD
2001
IEEE
134views Hardware» more  ACSD 2001»
14 years 15 days ago
Embedding Imperative Synchronous Languages in Interactive Theorem Provers
We present a new way to define the semantics of imperative synchronous languages by means of separating the control and the data flow. The control flow is defined by predicates th...
Klaus Schneider
COLING
2002
13 years 8 months ago
Interactive Paraphrasing Based on Linguistic Annotation
We propose a method "Interactive Paraphrasing" which enables users to interactively paraphrase words in a document by their definitions, making use of syntactic annotati...
Ryuichiro Higashinaka, Katashi Nagao
FMCO
2009
Springer
161views Formal Methods» more  FMCO 2009»
13 years 6 months ago
The How and Why of Interactive Markov Chains
This paper reviews the model of interactive Markov chains (IMCs, for short), an extension of labelled transition systems with exponentially delayed transitions. We show that IMCs a...
Holger Hermanns, Joost-Pieter Katoen
IESA
2009
13 years 6 months ago
Model Driven Service Interoperability through Use of Semantic Annotations
This paper presents an approach for comparing two architectures for ontology-based semantic annotation for service interoperability, the EMPOWER architecture using platform specif...
Arne-Jørgen Berre, Fangning Liu, Jiucheng X...
ISI
2007
Springer
14 years 3 months ago
Visualization of Events in a Spatially and Multimedia Enriched Virtual Environment
—Semantic Event Tracker (SET) is a highly interactive visualization tool for tracking and associating activities (events) in a spatially and Multimedia Enriched Virtual Environme...
Leonidas Deligiannidis, Farshad Hakimpour, Amit P....