7167 search results - page 91 / 1434 » A Technique for Invariant Generation |
185
click to vote
SP
2006
IEEE
16 years 6 days ago
2006
IEEE
Many current systems allow data produced by potentially malicious sources to be mounted as a file system. File system code must check this data for dangerous values or invariant ...
170
click to vote
ICIP
2003
IEEE
16 years 7 months ago
2003
IEEE
This paper proposes a new method of designing finitesupport wavelet filters, based on minimization of energy in key parts of the frequency domain. In particular this technique is ...
173
click to vote
SAS
2004
Springer
15 years 11 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...
137
click to vote
AUTOMATICA
2006
15 years 6 months ago
2006
The challenging problem in linear control theory is to describe the total set of parameters (controller coefficients or plant characteristics) which provide stability of a system....
202
click to vote
GRAPHICSINTERFACE
2000
15 years 7 months ago
2000
This paper describes a texture generation technique that combines orientation and luminance to support the simultaneous display of multiple overlapping scalar fields. Our orientat...