Sciweavers

10493 search results - page 29 / 2099
» Dynamic Word Problems
Sort
View
FOSSACS
2004
Springer
14 years 1 months ago
Reasoning about Dynamic Policies
People often need to reason about policy changes before they are adopted. For example, suppose a website manager knows that users want to enter her site without going through the w...
Riccardo Pucella, Vicky Weissman
MP
2006
110views more  MP 2006»
13 years 7 months ago
Decomposition and Dynamic Cut Generation in Integer Linear Programming
Decomposition algorithms such as Lagrangian relaxation and Dantzig-Wolfe decomposition are well-known methods that can be used to generate bounds for mixed-integer linear programmi...
Ted K. Ralphs, Matthew V. Galati
RAS
2008
150views more  RAS 2008»
13 years 7 months ago
Logic-based robot control in highly dynamic domains
In this paper we present the robot programming and planning language Readylog, a Golog dialect which was developed to support the decision making of robots acting in dynamic real-...
Alexander Ferrein, Gerhard Lakemeyer
AUTOMATICA
2010
73views more  AUTOMATICA 2010»
13 years 7 months ago
Realization of Boolean control networks
Based on the linear expression of the dynamics of Boolean networks, the coordinate transformation of Boolean variables is defined. It follows that the state space coordinate trans...
Daizhan Cheng, Zhi Qiang Li, Hongsheng Qi
MP
2011
13 years 2 months ago
A first-order interior-point method for linearly constrained smooth optimization
Abstract: We propose a first-order interior-point method for linearly constrained smooth optimization that unifies and extends first-order affine-scaling method and replicator d...
Paul Tseng, Immanuel M. Bomze, Werner Schachinger