Sciweavers

4 search results - page 1 / 1
» Universal Semantic Communication II: A Theory of Goal-Orient...
Sort
View
ECCC
2008
186views more  ECCC 2008»
13 years 4 months ago
Universal Semantic Communication II: A Theory of Goal-Oriented Communication
We continue the investigation of the task of meaningful communication among intelligent entities (players, agents) without any prior common language. Our generic thesis is that su...
Brendan Juba, Madhu Sudan
FM
2009
Springer
110views Formal Methods» more  FM 2009»
13 years 11 months ago
Reduced Execution Semantics of MPI: From Theory to Practice
Abstract: There is growing need to develop formal verification tools for Message Passing Interface (MPI) programs, to eliminate bugs such as deadlocks and local assertion violatio...
Sarvani S. Vakkalanka, Anh Vo, Ganesh Gopalakrishn...
ER
2008
Springer
106views Database» more  ER 2008»
13 years 6 months ago
Towards a Compositional Semantic Account of Data Quality Attributes
We address the fundamental question: what does it mean for data in a database to be of high quality? We motivate our discussion with examples, where traditional views on data quali...
Lei Jiang, Alexander Borgida, John Mylopoulos
HYBRID
1998
Springer
13 years 9 months ago
A Connectionist Simulation of the Empirical Acquisition of Grammatical Relations
Abstract. This paper proposes an account of the acquisition of grammatical relations using the basic concepts of connectionism and a construction-based theory of grammar. Many prev...
William C. Morris, Garrison W. Cottrell, Jeffrey L...