Sciweavers

1546 search results - page 166 / 310
» Thoughts on solution concepts
Sort
View
ADAEUROPE
2009
Springer
14 years 4 months ago
Weak Fairness Semantic Drawbacks in Java Multithreading
With the development of embedded and mobile systems, Java is widely used for application programs and is also considered for implementing systems kernel or application platforms. I...
Claude Kaiser, Jean-François Pradat-Peyre
CPAIOR
2009
Springer
14 years 3 months ago
Backdoors to Combinatorial Optimization: Feasibility and Optimality
There has been considerable interest in the identification of structural properties of combinatorial problems that lead, directly or indirectly, to the development of efficient al...
Bistra N. Dilkina, Carla P. Gomes, Yuri Malitsky, ...
ICIAR
2009
Springer
14 years 3 months ago
Structured Light Stereoscopic Imaging with Dynamic Pseudo-random Patterns
Abstract. Structured light stereoscopic imaging offers an efficient and affordable solution to 3D modeling of objects. The majority of structured light patterns that have been prop...
Pierre Payeur, Danick Desjardins
SAGT
2009
Springer
131views Game Theory» more  SAGT 2009»
14 years 3 months ago
The Computational Complexity of Weak Saddles
Abstract. We continue the recently initiated study of the computational aspects of weak saddles, an ordinal set-valued solution concept proposed by Shapley. Brandt et al. gave a po...
Felix Brandt, Markus Brill, Felix A. Fischer, Jan ...
SAT
2009
Springer
82views Hardware» more  SAT 2009»
14 years 3 months ago
Generalizing Core-Guided Max-SAT
Recent work has shown the value of using unsatisfiable cores to guide maximum satisfiability algorithms (Max-SAT) running on industrial instances [5,9,10,11]. We take this concep...
Mark H. Liffiton, Karem A. Sakallah