Sciweavers

20441 search results - page 27 / 4089
» Locally Computable Structures
Sort
View
SAGT
2010
Springer
202views Game Theory» more  SAGT 2010»
13 years 6 months ago
Computing Stable Outcomes in Hedonic Games
We study the computational complexity of finding stable outcomes in symmetric additively-separable hedonic games. These coalition formation games are specified by an undirected e...
Martin Gairing, Rahul Savani
JAL
2002
86views more  JAL 2002»
13 years 7 months ago
Exploiting structure in quantified formulas
We study the computational problem "find the value of the quantified formula obtained by quantifying the variables in a sum of terms." The "sum" can be based o...
Richard Edwin Stearns, Harry B. Hunt III
ECCV
2008
Springer
14 years 9 months ago
Three Dimensional Curvilinear Structure Detection Using Optimally Oriented Flux
Abstract. This paper proposes a novel curvilinear structure detector, called Optimally Oriented Flux (OOF). OOF finds an optimal axis on which image gradients are projected in orde...
Max W. K. Law, Albert C. S. Chung
BMCBI
2010
116views more  BMCBI 2010»
13 years 7 months ago
A hybrid approach to protein folding problem integrating constraint programming with local search
Background: The protein folding problem remains one of the most challenging open problems in computational biology. Simplified models in terms of lattice structure and energy func...
Abu Zafer M. Dayem Ullah, Kathleen Steinhöfel
EUC
2007
Springer
14 years 1 months ago
Integrated Global and Local Quality-of-Service Adaptation in Distributed, Heterogeneous Systems
Abstract. In this paper we have developed a method for an efficient Quality-ofService provision and adaptation in dynamic, heterogeneous systems, based on our Matrix framework for...
Larisa Rizvanovic, Damir Isovic, Gerhard Fohler