Sciweavers

9166 search results - page 446 / 1834
» A framework for comparing models of computation
Sort
View
CAISE
2004
Springer
16 years 7 days ago
Towards a Semi-Automated Approach to Intermodel Transformation
This paper introduces an extension to the hypergraph data model used in the AutoMed data intergration approach that allows constraints common in static data modelling languages to ...
Michael Boyd, Peter McBrien
SCALESPACE
2009
Springer
16 years 1 months ago
Augmented Lagrangian Method, Dual Methods and Split Bregman Iteration for ROF Model
In the recent decades the ROF model (total variation (TV) minimization) has made great successes in image restoration due to its good edge-preserving property. However, the non-diļ...
Xue-Cheng Tai, Chunlin Wu
EUROPAR
2009
Springer
15 years 11 months ago
Modeling Resubmission in Unreliable Grids: The Bottom-Up Approach
Abstract. Failure is an ordinary characteristic of large-scale distributed environments. Resubmission is a general strategy employed to cope with failures in grids. Here, we analyt...
Vandy Berten, Emmanuel Jeannot
MOBICOM
1997
ACM
15 years 10 months ago
Dynamic Network Reconfiguration Support for Mobile Computers
Hot swapping technology combined with pervasive heterogeneous networks empowers mobile laptop users to select the best network device for their current environment. Unfortunately,...
Jon Inouye, Jim Binkley, Jonathan Walpole
AAAI
2010
15 years 8 months ago
Stackelberg Voting Games: Computational Aspects and Paradoxes
We consider settings in which voters vote in sequence, each voter knows the votes of the earlier voters and the preferences of the later voters, and voters are strategic. This can...
Lirong Xia, Vincent Conitzer