Sciweavers

1421 search results - page 10 / 285
» Satisfying KBO Constraints
Sort
View
SIAMCO
2010
107views more  SIAMCO 2010»
13 years 2 months ago
Optimal Control under Stochastic Target Constraints
We study a class of Markovian optimal stochastic control problems in which the controlled process Z is constrained to satisfy an a.s. constraint Z (T) G Rd+1 P - a.s. at some fi...
Bruno Bouchard, Romuald Elie, Cyril Imbert
VTC
2010
IEEE
176views Communications» more  VTC 2010»
13 years 6 months ago
Subcarrier Allocation for Multiuser Two-Way OFDMA Relay Networks with Fairness Constraints
—In this paper, we propose a new adaptive subcarrier allocation for a multiuser two-way OFDMA relay network. In the proposed algorithm, subcarriers are allocated to the user-pair...
Hanmok Shin, Jae Hong Lee
CPAIOR
2008
Springer
13 years 9 months ago
Stochastic Satisfiability Modulo Theories for Non-linear Arithmetic
Abstract. The stochastic satisfiability modulo theories (SSMT) problem is a generalization of the SMT problem on existential and randomized (aka. stochastic) quantification over di...
Tino Teige, Martin Fränzle
CORR
2008
Springer
107views Education» more  CORR 2008»
13 years 8 months ago
Symmetry Breaking for Maximum Satisfiability
Symmetries are intrinsic to many combinatorial problems including Boolean Satisfiability (SAT) and Constraint Programming (CP). In SAT, the identification of symmetry breaking pred...
João Marques-Silva, Inês Lynce, Vasco...
CDC
2010
IEEE
183views Control Systems» more  CDC 2010»
13 years 3 months ago
Application of potent potential functions in eye/head movement control
In this paper we study the human eye movement and the head movement system as a simple mechanical control system. Most of the time, eye movements obey Listing's constraint, wh...
Bijoy K. Ghosh, Indika Wijayasinghe