Sciweavers

1649 search results - page 47 / 330
» A Stable Broadcast Algorithm
Sort
View
BIRTHDAY
2010
Springer
14 years 10 months ago
Thirteen Definitions of a Stable Model
Stable models of logic programs have been studied by many researchers, mainly because of their role in the foundations of answer set programming. This is a review of some of the de...
Vladimir Lifschitz
SAGT
2010
Springer
202views Game Theory» more  SAGT 2010»
14 years 8 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
IWPEC
2009
Springer
15 years 4 months ago
Stable Assignment with Couples: Parameterized Complexity and Local Search
We study the Hospitals/Residents with Couples problem, a variant of the classical Stable Marriage problem. This is the extension of the Hospitals/Residents problem where residents ...
Dániel Marx, Ildikó Schlotter
AUTOMATICA
2007
111views more  AUTOMATICA 2007»
14 years 9 months ago
A stable block model predictive control with variable implementation horizon
— In this paper, we present a stable receding horizon model predictive control for discrete-time nonlinear systems. The standard MPC scheme is modified to incorporate (1) a bloc...
Jing Sun, Ilya V. Kolmanovsky, Reza Ghaemi, Shuhao...
GCB
2010
Springer
198views Biometrics» more  GCB 2010»
14 years 7 months ago
RNALfoldz: Efficient Prediction of Thermodynamically Stable, Local Secondary Structures
Abstract: The search for local RNA secondary structures and the annotation of unusually stable folding regions in genomic sequences are two well motivated bioinformatic problems. I...
Andreas R. Gruber, Stephan H. F. Bernhart, You Zho...