Sciweavers

20441 search results - page 137 / 4089
» Locally Computable Structures
Sort
View
ICTAI
2006
IEEE
15 years 5 months ago
Computing Horn Strong Backdoor Sets Thanks to Local Search
In this paper a new approach for computing Strong Backdoor sets of boolean formula in conjunctive normal form (CNF) is proposed. It makes an original use of local search technique...
Lionel Paris, Richard Ostrowski, Pierre Siegel, La...
CVPR
1996
IEEE
16 years 1 months ago
Local Parallel Computation of Stochastic Completion Fields
Lance R. Williams, David W. Jacobs
PODC
2004
ACM
15 years 5 months ago
What cannot be computed locally!
Fabian Kuhn, Thomas Moscibroda, Roger Wattenhofer
ICCS
2001
Springer
15 years 4 months ago
Rescheduling for Locality in Sparse Matrix Computations
Michelle Mills Strout, Larry Carter, Jeanne Ferran...