Sciweavers

1268 search results - page 153 / 254
» Modeling Natural Language Communication in Database Semantic...
Sort
View
FUIN
2006
96views more  FUIN 2006»
13 years 9 months ago
A Component Coordination Model Based on Mobile Channels
In this paper we present a coordination model for component-based software systems based on the notion of mobile channels, define it in terms of a compositional trace-based semanti...
Juan Guillen Scholten, Farhad Arbab, Frank S. de B...
ESOP
2012
Springer
12 years 4 months ago
The Call-by-Need Lambda Calculus, Revisited
The existing call-by-need λ calculi describe lazy evaluation via equational logics. A programmer can use these logics to safely ascertain whether one term is behaviorally equivale...
Stephen Chang, Matthias Felleisen
UML
2004
Springer
14 years 2 months ago
Applying Refactoring Techniques to UML/OCL Models
The Object Constraint Language (OCL) plays an important role in the elaboration of precise UML models. Although OCL was designed to be both formal and simple, UML/OCL models may be...
Alexandre L. Correa, Cláudia Maria Lima Wer...
EDBT
2006
ACM
194views Database» more  EDBT 2006»
14 years 9 months ago
Hermes - A Framework for Location-Based Data Management
The aim of this paper is to demonstrate Hermes, a robust framework capable of aiding a spatio-temporal database developer in modeling, constructing and querying a database with dyn...
Nikos Pelekis, Yannis Theodoridis, Spyros Vosinaki...
EMNLP
2009
13 years 6 months ago
Recognizing Textual Relatedness with Predicate-Argument Structures
In this paper, we first compare several strategies to handle the newly proposed three-way Recognizing Textual Entailment (RTE) task. Then we define a new measurement for a pair of...
Rui Wang 0005, Yi Zhang 0003