1749 search results - page 264 / 350 » Logic, Optimization, and Constraint Programming |
TACAS
2009
Springer
14 years 2 months ago
2009
Springer
TAPAS is a suite of libraries dedicated to FO (R, Z, +, ≤). The suite provides (1) the application programming interface GENEPI for this logic with encapsulations of many classic...
ICPR
2006
IEEE
14 years 1 months ago
2006
IEEE
Image registration is the process of geometrically aligning
two or more images. In this paper we describe a method
for registering pairs of images based on thin-plate spline
map...
TCS
2008
13 years 7 months ago
2008
The problem of computing approximate GCDs of several polynomials with real or complex coefficients can be formulated as computing the minimal perturbation such that the perturbed ...
AUTOMATICA
2010
13 years 6 months ago
2010
Finite-time optimal control problems with quadratic performance index for linear systems with linear constraints can be transformed into Quadratic Programs (QPs). Model Predictive ...
CDC
2009
IEEE
13 years 5 months ago
2009
IEEE
We consider a network of control systems connected over a graph. Considering the graph structure as constraints on the set of permissible controllers, we show that such systems ar...