3690 search results - page 326 / 738 » Computation with classical sequents |
133
Voted
ML
2006
ACM
15 years 11 months ago
2006
ACM
Grid computing has become increasingly popular with the growth of the Internet, especially in large-scale scientific computation. Computational Grids are characterized by their s...
167
click to vote
MIDDLEWARE
2004
Springer
15 years 11 months ago
2004
Springer
Several works on grid computing have been proposed in the last years. However, most of them, including available software, can not deal properly with some issues related to contro...
144
click to vote
EICS
2010
ACM
15 years 10 months ago
2010
ACM
Paper remains a prevalent medium in mobile usage contexts due to its inherent flexibility and robustness. Mobile computing solutions begin to provide powerful and convenient func...
160
click to vote
SIGGRAPH
2010
ACM
15 years 10 months ago
2010
ACM
This paper addresses the fundamental problem of computing stable medial representations of 3D shapes. We propose a spatially adaptive classification of geometric features that yi...
166
click to vote
ICTAI
2000
IEEE
15 years 9 months ago
2000
IEEE
Markov Decision Processes (MDP) have been widely used as a framework for planning under uncertainty. They allow to compute optimal sequences of actions in order to achieve a given...