Sciweavers

2696 search results - page 56 / 540
» Semantic Abstraction and Anaphora
Sort
View
ICTAC
2009
Springer
15 years 4 months ago
A Deadlock-Free Semantics for Shared Memory Concurrency
Abstract. We design a deadlock-free semantics for a concurrent, functional and imperative programming language where locks are implicitly and univocally associated with pointers. T...
Gérard Boudol
CAISE
2005
Springer
15 years 3 months ago
Semantic and Pragmatic Interoperability: A Model for Understanding
Abstract. In this paper we present a conceptual model for understanding of semantic and pragmatic interoperability. We use the model to identify and classify the possible semantic ...
Stanislav Pokraev, Manfred Reichert, Maarten W. A....
ICCBR
2005
Springer
15 years 3 months ago
Learning Semantic Annotations for Textual Cases
Abstract. In this paper, we propose an approach to attach semantic annotations to textual cases for their representation. To achieve this goal, a framework that combines machine le...
Eni Mustafaraj, Martin Hoof, Bernd Freisleben
ECAL
2003
Springer
15 years 3 months ago
Semantic Generalisation and the Inference of Meaning
Abstract. In this paper, a computational model of a successful negotiated communication system is presented, in which language agents develop their own meanings in response to thei...
Andrew D. M. Smith
STTT
2010
194views more  STTT 2010»
14 years 4 months ago
Data-abstraction refinement: a game semantic approach
traction Refinement: A Game Semantic Approach Adam Bakewell2 , Aleksandar Dimovski1 , Dan R. Ghica2 , Ranko Lazi
Adam Bakewell, Aleksandar Dimovski, Dan R. Ghica, ...