Sciweavers

2702 search results - page 140 / 541
» constraints 2008
Sort
View
RTA
2010
Springer
15 years 10 months ago
Automated Confluence Proof by Decreasing Diagrams based on Rule-Labelling
Decreasing diagrams technique (van Oostrom, 1994) is a technique that can be widely applied to prove confluence of rewrite systems. To directly apply the decreasing diagrams techn...
Takahito Aoto
EAAI
2008
104views more  EAAI 2008»
15 years 7 months ago
Feasible distributed CSP models for scheduling problems
Nowadays, many real problems can be formalized as Distributed CSPs. A distributed constraint satisfaction problem (DisCSP) is a CSP in which variables and constraints are distribu...
Miguel A. Salido, Adriana Giret
EOR
2008
159views more  EOR 2008»
15 years 7 months ago
A survey on the continuous nonlinear resource allocation problem
Our problem of interest consists of minimizing a separable, convex and differentiable function over a convex set, defined by bounds on the variables and an explicit constraint des...
Michael Patriksson
164
Voted
ICARCV
2008
IEEE
146views Robotics» more  ICARCV 2008»
16 years 1 months ago
Stabilization of networked multi-input systems with channel resource allocation
—In this paper, we study the problem of stabilizing a linear time-invariant discrete-time system with information constraints in the input channels. The information constraint in...
Guoxiang Gu, Li Qiu
TSP
2008
92views more  TSP 2008»
15 years 6 months ago
Distributed Structures, Sequential Optimization, and Quantization for Detection
Abstract--In the design of distributed quantization systems one inevitably confronts two types of constraints--those imposed by a distributed system's structure and those impo...
Michael A. Lexa, Don H. Johnson