1189 search results - page 92 / 238 » The Quotient of an Abstract Interpretation |
118
Voted
CIARP
2007
Springer
15 years 6 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...
70
Voted
ESORICS
2007
Springer
15 years 6 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...
90
Voted
IWSEC
2007
Springer
15 years 6 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...
73
Voted
MFCS
2007
Springer
15 years 6 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...
90
Voted
SEMWEB
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Automated ontology population using information extraction algorithms can produce inconsistent knowledge bases. Confidence values assigned by the extraction algorithms m...