Sciweavers

7690 search results - page 384 / 1538
» On the semantics of informational independence
Sort
View
FMICS
2007
Springer
16 years 1 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»
15 years 5 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...
ICDT
2009
ACM
127views Database» more  ICDT 2009»
16 years 1 months ago
A logical account of uncertain databases based on linear logic
A formal semantics of uncertain databases typically takes an algebraic approach by mapping an uncertain database to a set of relational databases, or possible worlds. We present a...
Sungwoo Park, Seung-won Hwang
DEXAW
2008
IEEE
180views Database» more  DEXAW 2008»
16 years 1 months ago
Entity Data Management in OKKAM
In the recent years, we are witnessing an increasing interest in the Semantic Web and the relevant technologies, which can have a significant impact in the enterprise environment ...
Themis Palpanas, Junaid Ahsenali Chaudhry, Perikli...
IAT
2008
IEEE
16 years 1 months ago
A Pragmatic Approach to Realizing Context-Aware Personal Services
As network and computing technologies have improved, and the number of mobile devices has increased, realizing context-aware personal services has become one of the most important...
Sangkeun Lee, Dongjoo Lee, Seungseok Kang, Sang-go...