17409 search results - page 3402 / 3482 » The Design and Performance of MedJava |
120
click to vote
FP
1989
15 years 7 months ago
1989
This paper reports an explanation of an intricate algorithm in the terms of a potentially mechanisable rigorous-development method. It uses notations and techniques of Sheeran 1] ...
135
Voted
EDBT
1990
ACM
15 years 7 months ago
1990
ACM
Deductive Databases are coming of age with the emergence of efficient and easy to use systems that support queries, reasoning, and application development on databases through dec...
136
click to vote
EUROCRYPT
1990
Springer
15 years 7 months ago
1990
Springer
We describe results from an apparatus and protocol designed to implement quantum key distribution, by which two users, who share no secret information initially: 1) exchange a ran...
134
Voted
SPAA
1990
ACM
15 years 7 months ago
1990
ACM
Fractional cascading is a technique designed to allow e cient sequential search in a graph with catalogs of total size n. The search consists of locating a key in the catalogs alo...
141
Voted
ACCV
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We design an effective shape prior embedded human silhouettes extraction algorithm. Human silhouette extraction is found challenging because of articulated structures, po...