1189 search results - page 92 / 238 » The Quotient of an Abstract Interpretation |
169
click to vote
CIARP
2007
Springer
16 years 14 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...
132
click to vote
ESORICS
2007
Springer
16 years 14 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...
146
click to vote
IWSEC
2007
Springer
16 years 13 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...
127
click to vote
MFCS
2007
Springer
16 years 13 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...
151
click to vote
SEMWEB
2007
Springer
16 years 12 days ago
2007
Springer
Abstract. Automated ontology population using information extraction algorithms can produce inconsistent knowledge bases. Confidence values assigned by the extraction algorithms m...