1786 search results - page 58 / 358 » The Structure of Factor Oracles |
127
click to vote
CADE
2007
Springer
16 years 4 months ago
2007
Springer
Abstract. Hoare logic is widely used for software specification and verification. Frequently we need to prove the total correctness of a program: to prove that the program not only...
106
click to vote
FOCS
2007
IEEE
15 years 10 months ago
2007
IEEE
Understanding how a single edge deletion can affect the connectivity of a graph amounts to finding the graph bridges. But when faced with d > 1 deletions, can we establish as ...
158
click to vote
SIGMOD
2005
ACM
15 years 10 months ago
2005
ACM
As XML has evolved from a document markup language to a widely-used format for exchange of structured and semistructured data, managing large amounts of XML data has become increa...
149
click to vote
PG
2003
IEEE
15 years 9 months ago
2003
IEEE
In this paper, we will show how non-photorealistic rendering (NPR) can take a new role in content-based image retrieval (CBIR). We propose a content-based image retrieval method. ...
114
click to vote
ASIACRYPT
2000
Springer
15 years 8 months ago
2000
Springer
Block ciphers are usually based on one top-level scheme into which we plug “round functions”. To analyze security, it is important to study the intrinsic security provided by t...