1786 search results - page 58 / 358 » The Structure of Factor Oracles |
94
Voted
CADE
2007
Springer
16 years 1 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...
76
Voted
FOCS
2007
IEEE
15 years 7 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 ...
127
click to vote
SIGMOD
2005
ACM
15 years 6 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...
113
Voted
PG
2003
IEEE
15 years 6 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. ...
ASIACRYPT
2000
Springer
15 years 5 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...