Sciweavers

4591 search results - page 31 / 919
» The Global Computer
Sort
View
APPINF
2003
13 years 9 months ago
Debugging Distributed Computations by Reverse Search
We develop a memory-efficient off-line algorithm for the enumeration of global states of a distributed computation. The algorithm allows the parameterization of its memory requir...
Artur Andrzejak, Komei Fukuda
CORR
2010
Springer
102views Education» more  CORR 2010»
13 years 7 months ago
States and exceptions are dual effects
Global states and exceptions form two basic computational effects. In this paper it is proved that they can be seen as dual to each other: the lookup and update operations for glo...
Jean-Guillaume Dumas, Dominique Duval, Laurent Fou...
ICCV
2011
IEEE
12 years 7 months ago
Are Spatial and Global Constraints Really Necessary for Segmentation?
Many state-of-the-art segmentation algorithms rely on Markov or Conditional Random Field models designed to enforce spatial and global consistency constraints. This is often accom...
Aurelien Lucchi, Yunpeng Li, Xavier Boix, Kevin Sm...
AAAI
2004
13 years 9 months ago
The Complexity of Global Constraints
We study the computational complexity of reasoning with global constraints. We show that reasoning with such constraints is intractable in general. We then demonstrate how the sam...
Christian Bessière, Emmanuel Hebrard, Brahi...
ICCSA
2005
Springer
14 years 1 months ago
Comparison of Global Optimization Methods for Drag Reduction in the Automotive Industry
Various global optimization methods are compared in order to find the best strategy to solve realistic drag reduction problems in the automotive industry. All the methods consist ...
Laurent Dumas, Vincent Herbert, Frédé...