Sciweavers

598 search results - page 33 / 120
» Independence Semantics for BKBs
Sort
View
FMICS
2007
Springer
15 years 6 months ago
An Approach to Formalization and Analysis of Message Passing Libraries
Message passing using libraries implementing the Message Passing Interface (MPI) standard is the dominant communication mechanism in high performance computing (HPC) applications. ...
Robert Palmer, Michael Delisi, Ganesh Gopalakrishn...
JOCN
2010
123views more  JOCN 2010»
14 years 10 months ago
Coercion and Compositionality
■ Research in psycholinguistics and in the cognitive neuroscience of language has suggested that semantic and syntactic integration are associated with different neurophysiologi...
Giosuè Baggio, Travis Choma, Michiel van La...
LREC
2008
106views Education» more  LREC 2008»
15 years 1 months ago
Inter-sentential Coreferences in Semantic Networks: An Evaluation of Manual Annotation
We present an evaluation of inter-sentential coreference annotation in the context of manually created semantic networks. The semantic networks are constructed independently be ea...
Václav Novák, Keith Hall
ICMAS
1998
15 years 1 months ago
Verifiable Semantics for Agent Communication Languages
This paper examines the issue of developing semantics for agent communication languages. In particular, it considers the problem of giving a verifiable semantics for such language...
Michael Wooldridge
FM
2005
Springer
132views Formal Methods» more  FM 2005»
15 years 5 months ago
Decoupling in Object Orientation
In formal design, decoupling means to make the features of a formal system as independent as possible from each other. Decoupling tends to make the features semantically more primi...
Ioannis T. Kassios