2974 search results - page 382 / 595 » Model-Driven Constraint Programming |
148
click to vote
EPIA
2007
Springer
16 years 21 days ago
2007
Springer
This paper shows how moral decisions can be drawn computationally by using prospective logic programs. These are employed to model moral dilemmas, as they are able to prospectively...
166
click to vote
ESOP
2007
Springer
16 years 21 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...
167
click to vote
VMCAI
2007
Springer
16 years 19 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...
150
click to vote
ICRA
2005
IEEE
16 years 4 days 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...
164
click to vote
ISCAS
2005
IEEE
16 years 3 days 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...