6554 search results - page 952 / 1311 » Constraint Logic Programming |
191
click to vote
WEA
2010
Springer
16 years 29 days ago
2010
Springer
Resource leveling is a variant of resource-constrained project scheduling in which a non-regular objective function, the resource availability cost, is to be minimized. We present ...
161
Voted
ESOP
2007
Springer
16 years 9 days ago
2007
Springer
In this paper we present an alternative approach to interprocedurally g linear inequality relations. We propose an abstraction of the effects of procedures through convex sets of t...
158
click to vote
VMCAI
2007
Springer
16 years 7 days ago
2007
Springer
We present a constraint-based algorithm for the synthesis of invariants expressed in the combined theory of linear arithmetic and uninterpreted function symbols. Given a set of pro...
142
click to vote
ICRA
2005
IEEE
15 years 11 months ago
2005
IEEE
Abstract— In this paper, we consider the task of repositioning a formation of robots to a new shape while minimizing either the maximum distance that any robot travels, or the to...
157
Voted
ISCAS
2005
IEEE
15 years 11 months ago
2005
IEEE
— Piecewise linear Lyapunov functions are used to design control gain matrices so that closed systems are robust stable and attractive regions are expanded as large as possible i...