3690 search results - page 223 / 738 » Computation with classical sequents |
102
Voted
HPCC
2010
Springer
15 years 1 months ago
2010
Springer
This paper presents an algorithm and a data structure for scalable dynamic synchronization in fine-grained parallelism. The algorithm supports the full generality of phasers with d...
113
click to vote
AMAI
2006
Springer
15 years 24 days ago
2006
Springer
A weakness of classical Markov decision processes (MDPs) is that they scale very poorly due to the flat state-space representation. Factored MDPs address this representational pro...
129
click to vote
IJWGS
2007
15 years 19 days ago
2007
: Current grid technologies offer unlimited computational power and storage capacity for scientific research and business activities in heterogeneous areas all over the world. Than...
114
Voted
DIS
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. We propose an association analysis-based strategy for exploration of multi-attribute spatial datasets possessing naturally arising classification. Proposed strategy, EST...
118
Voted
JACM
2010
14 years 11 months ago
2010
A temporal constraint language is a set of relations that has a first-order definition in (Q, <), the dense linear order of the rational numbers. We present a complete comple...