Sciweavers

TC
2008
13 years 3 months ago
Implementing Synchronous Models on Loosely Time Triggered Architectures
Synchronous systems offer clean semantics and an easy verification path at the expense of often inefficient implementations. Capturing design specifications as synchronous models a...
Stavros Tripakis, Claudio Pinello, Albert Benvenis...
CONCUR
2006
Springer
13 years 7 months ago
Liveness, Fairness and Impossible Futures
Impossible futures equivalence is the semantic equivalence on labelled transition systems that identifies systems iff they have the same "AGEF" properties: temporal logic...
Rob J. van Glabbeek, Marc Voorhoeve
NLPRS
2001
Springer
13 years 8 months ago
Modality Expressions in Japanese and Their Automatic Paraphrasing
It is important for future NLP systems to formulate the semantic equivalence (and more generally, the semantic similarity) of natural language expressions. In particular, paraphra...
Toshifumi Tanabe, Kenji Yoshimura, Kosho Shudo
AMAI
2004
Springer
13 years 9 months ago
The Expressive Rate of Constraints
In reasoning tasks involving logical formulas, high expressiveness is desirable, although it often leads to high computational complexity. We study a simple measure of expressiven...
Hubie Chen
CAEPIA
2005
Springer
13 years 9 months ago
Techniques for Recognizing Textual Entailment and Semantic Equivalence
After defining what is understood by textual entailment and semantic equivalence, the present state and the desirable future of the systems aimed at recognizing them is shown. A c...
Jesús Herrera, Anselmo Peñas, Felisa...
OTM
2009
Springer
13 years 10 months ago
Semantic Event Correlation Using Ontologies
Complex event processing (CEP) is a software architecture paradigm that aims at low latency, high throughput, and quick adaptability of applications for supporting and improving ev...
Thomas Moser, Heinz Roth, Szabolcs Rozsnyai, Richa...