3342 search results - page 245 / 669 » Automating Abstract Interpretation |
110
Voted
CDC
2008
IEEE
15 years 10 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...
135
Voted
CIARP
2007
Springer
15 years 9 months 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...
91
Voted
ESORICS
2007
Springer
15 years 9 months 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...
117
Voted
IWSEC
2007
Springer
15 years 9 months 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...
94
Voted
MFCS
2007
Springer
15 years 9 months 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...