7452 search results - page 312 / 1491 » A Semantics for Multiprocessor Systems |
170
click to vote
PPL
2008
15 years 6 months ago
2008
The aim of this work is to introduce a computational costs system associated to a semantic framework for orthogonal data and control parallelism handling. In such a framework a pa...
205
click to vote
TLCA
2007
Springer
16 years 25 days ago
2007
Springer
A Kripke Semantics is defined for a higher-order logic programming language with constraints, based on Church’s Theory of Types and a generic constraint formalism. Our syntactic...
149
click to vote
ENC
2005
IEEE
16 years 10 days ago
2005
IEEE
This paper describes SKIMA, a mediation system that gives transparent access to heterogeneous and distributed sources considering their semantics and the semantics of application ...
182
click to vote
AINA
2004
IEEE
15 years 10 months ago
2004
IEEE
P2P systems are a revival paradigm for information sharing among distributed nodes in the network. Currently, many research projects or practical applications have emerged from th...
150
click to vote
EMNLP
2006
15 years 8 months ago
2006
NLP systems for tasks such as question answering and information extraction typically rely on statistical parsers. But the efficacy of such parsers can be surprisingly low, partic...