2702 search results - page 251 / 541 » Practically Applicable Formal Methods |
119
click to vote
SODA
1997
ACM
15 years 3 months ago
1997
ACM
We present theoretical algorithms for sorting and searching multikey data, and derive from them practical C implementations for applications in which keys are character strings. T...
115
click to vote
IVC
2000
15 years 2 months ago
2000
This paper presents a novel automatic method for view synthesis (or image transfer) from a triplet of uncalibrated images based on trinocular edge matching followed by transfer by...
106
click to vote
SODA
2001
ACM
15 years 3 months ago
2001
ACM
Fast-converging methods for reconstructing phylogenetic trees require that the sequences characterizing the taxa be of only polynomial length, a major asset in practice, since rea...
CCS
2007
ACM
15 years 8 months ago
2007
ACM
In a proxy re-encryption (PRE) scheme, a proxy is given special information that allows it to translate a ciphertext under one key into a ciphertext of the same message under a di...
116
click to vote
HPCC
2009
Springer
15 years 7 months ago
2009
Springer
—Grid applications need to move large amounts of data between distributed resources within deterministic time frames. In most cases it is possible to specify the volume and the d...