Sciweavers

1529 search results - page 115 / 306
» Search Space Analysis of the Linear Ordering Problem
Sort
View
AUTOMATICA
2008
126views more  AUTOMATICA 2008»
15 years 4 months ago
Local stability analysis using simulations and sum-of-squares programming
The problem of computing bounds on the region-of-attraction for systems with polynomial vector fields is considered. Invariant subsets of the region-of-attraction are characterize...
Ufuk Topcu, Andrew K. Packard, Peter Seiler
SPATIALCOGNITION
2000
Springer
15 years 7 months ago
Interactive Layout Generation with a Diagrammatic Constraint Language
The paper analyzes a diagrammatic reasoning problem that consists in finding a graphical layout which simultaneously satisfies a set of constraints expressed in a formal language a...
Christoph Schlieder, Cornelius Hagen
168
Voted
ASC
2007
15 years 4 months ago
An approximate stability analysis of nonlinear systems described by Universal Learning Networks
Stability is one of the most important subjects in control systems. As for the stability of nonlinear dynamical systems, Lyapunov’s direct method and linearized stability analys...
Kotaro Hirasawa, Shingo Mabu, Shinji Eto, Jinglu H...
DISOPT
2011
210views Education» more  DISOPT 2011»
14 years 11 months ago
The parameterized complexity of k-flip local search for SAT and MAX SAT
SAT and MAX SAT are among the most prominent problems for which local search algorithms have been successfully applied. A fundamental task for such an algorithm is to increase the...
Stefan Szeider
ICMCS
2005
IEEE
85views Multimedia» more  ICMCS 2005»
15 years 9 months ago
Fast Search Method for Image Vector Quantization Based on Equal-Average Equal-Variance and Partial Sum Concept
The encoding process of image vector quantization (VQ) is very heavy due to it performing a lot of k-dimensional Euclidean distance computations. In order to speed up VQ encoding,...
Zhibin Pan, Koji Kotani, Tadahiro Ohmi