4586 search results - page 884 / 918 » Computing stable models in parallel |
103
click to vote
AES
2005
Springer
15 years 3 months ago
2005
Springer
This paper is intended as a contribution to enhance orthogonal collocation methods. In this, a novel collocation method--TH-collocation--is applied to the biharmonic equation and ...
132
click to vote
ENTCS
1998
15 years 2 months ago
1998
Abstract Metric-Space Denotational Semantics for Reactive Probabilistic Processes M.Z. Kwiatkowska and G.J. Norman School of Computer Science, University of Birmingham, Edgbaston, ...
126
click to vote
CLIMA
2010
15 years 1 months ago
2010
Answer sharing is a key element in multi-agent systems as it allows agents to collaborate towards achieving a global goal. However exogenous knowledge of the world can influence e...
166
click to vote
ITNG
2010
IEEE
15 years 1 months ago
2010
IEEE
—The increase in computational power of off-the-shelf hardware offers more and more advantageous tradeoffs among efficiency, cost and availability, thus enhancing the feasibil...
131
click to vote
EMNLP
2010
15 years 1 months ago
2010
In this paper, we present a novel approach to enhance hierarchical phrase-based machine translation systems with linguistically motivated syntactic features. Rather than directly ...