2137 search results - page 329 / 428 » Proving Abstract Non-interference |
110
click to vote
ECSQARU
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. Consistency-based approaches in nonmonotonic reasoning may be expected to yield multiple sets of default conclusions for a given default theory. Reasoning about such exte...
111
Voted
EVOW
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. This work describes the use of genetic algorithms for automating the photogrammetric network design process. When planning a photogrammetric network, the cameras should b...
FSE
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. Modes of operation adapt block ciphers to many applications. Among the encryption modes, only CFB Cipher Feedback has both of the following properties: Firstly it allow...
125
click to vote
ICDT
2001
ACM
15 years 7 months ago
2001
ACM
Abstract. Nearest-neighbor queries in high-dimensional space are of high importance in various applications, especially in content-based indexing of multimedia data. For an optimiz...
103
click to vote
MICCAI
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. Integration of magnetic resonance (MR) and positron emission tomography (PET) images of the heart has proved its usefulness for the estimation of the myocardial viability...