1357 search results - page 25 / 272 » Compositional analysis for linear systems |
121
click to vote
EOR
2007
15 years 3 months ago
2007
The stability domain is a feasible set for numerous optimization problems. D-decomposition technique is targeted to describe the stability domain in the parameter space for linear...
124
click to vote
CC
2002
Springer
15 years 3 months ago
2002
Springer
The purpose of this paper is to present four basic methods for ional separate modular static analysis of programs by abstract interpretation: simpli cation-based separate analysis;...
116
click to vote
SOCO
2008
Springer
15 years 3 months ago
2008
Springer
Data-centric business applications comprise an important class of distributed systems that includes on-line stores, document management systems, and patient portals. However, their...
88
Voted
ICMCS
2006
IEEE
15 years 9 months ago
2006
IEEE
In this paper a novel system for image replica detection is presented. The system uses color-based descriptors in order to extract robust features for image representation. These ...
140
click to vote
SAS
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Linear-relations analysis of transition systems discovers linear invariant relationships among the variables of the system. These relationships help establish important s...