Sciweavers

3591 search results - page 137 / 719
» Typing linear constraints
Sort
View
CP
2008
Springer
14 years 12 months ago
Flow-Based Propagators for the SEQUENCE and Related Global Constraints
We propose new filtering algorithms for the SEQUENCE constraint and some extensions of the SEQUENCE constraint based on network flows. We enforce domain consistency on the SEQUENCE...
Michael J. Maher, Nina Narodytska, Claude-Guy Quim...
ISCAS
2005
IEEE
179views Hardware» more  ISCAS 2005»
15 years 3 months ago
Robust stabilization of control systems using piecewise linear Lyapunov functions and evolutionary algorithm
— 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...
K. Tagawa, Y. Ohta
CDC
2009
IEEE
132views Control Systems» more  CDC 2009»
15 years 2 months ago
Uniform stabilization of Markovian jump linear systems with logarithmic quantization - A convex approach
— In this paper, we investigate the almost sure uniform exponential stabilization problem of Markovian jump linear systems (MJLSs) with logarithmically quantized state feedbacks....
Chun Zhang, Geir E. Dullerud
CPC
2006
110views more  CPC 2006»
14 years 10 months ago
Solving Sparse Random Instances of Max Cut and Max 2-CSP in Linear Expected Time
Abstract. We show that a maximum cut of a random graph below the giantcomponent threshold can be found in linear space and linear expected time by a simple algorithm. In fact, the ...
Alexander D. Scott, Gregory B. Sorkin
ICIP
2010
IEEE
15 years 4 months ago
Real-time content-aware image resizing using reduced linear model
In this paper is presented an effective and efficient method for content-aware image resizing. It is based on the solution of a linear system where each pixel displacement (compres...
Edoardo Ardizzone, Roberto Gallea, Roberto Pirrone