3342 search results - page 245 / 669 » Automating Abstract Interpretation |
145
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— In [1] a balanced canonical form for continuoustime lossless systems was presented. This form has a tridiagonal dynamical matrix A and the useful property that the corr...
175
click to vote
CIARP
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. It is argued that the ability to generalise is the most important characteristic of learning and that generalisation may be achieved only if pattern recognition systems l...
135
click to vote
ESORICS
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. This paper argues that Haigh and Young’s definition of noninterference for intransitive security policies admits information flows that are not in accordance with the...
152
click to vote
IWSEC
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. Authors extend the multi-parameter attacktree model to include inaccurate or estimated parameter values, which are modelled as probabilistic interval estimations. The pap...
134
click to vote
MFCS
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. We examine computational problems on quaternion matrix and rotation semigroups. It is shown that in the ultimate case of quaternion matrices, in which multiplication is s...