Browsing by Subject "Linear programming"
Now showing items 114 of 14

Article
Classical methods in nonmonotonic reasoning
(1994)In this paper we present and compare some classical problem solving methods for computing the stable models of a general propositional logic program. In particular linear programming, propositional satisfiability, constraint ...

Article
Computational assessment of distributed decomposition methods for stochastic linear programs
(1998)Incorporating uncertainty in optimization models gives rise to large, structured mathematical programs. Decomposition procedures are wellsuited for parallelization, thus providing a promising venue for solving large ...

Conference Object
Distributed stochastic power control for timevarying longterm and shortterm fading wireless networks
(2007)In this paper, new timevarying wireless channel models that capture both the space and time variations of longterm and shortterm fading wireless networks are developed. The proposed models are based on stochastic ...

Conference Object
Hierarchical approach for the bandwidth allocation, management and control in BISDN
(Publ by IEEE, 1993)This paper adopts a hierarchical multilayer/ multilevel approach for the allocation, management and control of BISDN resources. This approach seems appropriate to present a vertical decomposition of control layers, having ...

Conference Object
Integer programs and valid inequalities for planning problems
(Springer Verlag, 2000)Part of the recent work in AI planning is concerned with the development of algorithms that regard planning as a combinatorial search problem. The underlying representation language is basically propositional logic. While ...

Conference Object
Linear behaviour of term graph rewriting programs
(ACM, 1995)The generalized term graph rewriting computational model is exploited to implement concurrent languages based on Girard's Linear Logic (LL). In particular a fragment of LL is identified which is able to serve as a `process ...

Article
On computing logic programs
(1996)In this paper we present and compare some classical problemsolving methods for computing the stable models of logic programs with negation. Using a graph theoretic representation of logic programs and their stable models, ...

Article
Stochastic linear programs with restricted recourse
(1997)Stochastic programs with recourse provide an effective modeling paradigm for sequential decision problems with uncertain or noisy data, when uncertainty can be modeled by a discrete set of scenarios. In twostage problems ...

Article
Stochastic linear programs with restricted recourse
(1997)Stochastic programs with recourse provide an effective modeling paradigm for sequential decision problems with uncertain or noisy data, when uncertainty can be modeled by a discrete set of scenarios. In twostage problems ...

Article
Stochastic power control for shortterm flat fading wireless networks: Almost sure QoS measures
(2001)The power control of wireless networks is formulated using a stochastic optimal control framework, in which the evolution of the channel is described by stochastic differential equations. Under this scenario, average and ...

Conference Object
Stochastic power control for timevarying fading wireless communication networks
(2005)The performance of stochastic optimal power control for timevarying fading channels, in which the evolution of the dynamical channel is described by stochastic differential equations, is determined. Both longterm and ...

Conference Object
Stochastic power control for timevarying lognormal fading wireless channels
(2005)The performance of stochastic optimal power control of time varying lognormal fading channels, in which the evolution of the dynamical channel is described by stochastic differential equations (SDE's), is determined. Unlike ...

Article
Stochastic power control for timevarying longterm fading wireless networks
(2006)A new timevarying (TV) longterm fading (LTF) channel model which captures both the space and time variations of wireless systems is developed. The proposed TV LTF model is based on a stochastic differential equation ...

Article
Stochastic power control for wireless networks via SDEs: Probabilistic QoS measures
(2005)The power control of wireless networks is formulated using a stochastic optimal control framework, in which the evolution of the channel is described by stochastic differential equations (SDEs). The latter rapture the ...