92 search results - page 9 / 19 » Proof Planning with Multiple Strategies |
70
Voted
EDBT
2010
ACM
15 years 1 months ago
2010
ACM
This paper considers the problem of Multi-Geography Route Planning (MGRP) where the geographical information may be spread over multiple heterogeneous interconnected maps. We firs...
DILS
2005
Springer
15 years 3 months ago
2005
Springer
We have been developing a system for comparing multiple genomes, PLATCOM, where users can choose genomes of their choice freely and perform analysis of the selected genomes with a...
TC
2010
14 years 8 months ago
2010
We consider soft real-time applications organised as pipelines of tasks using resources of different type (communication, computation, storage). The applications are assumed to be...
FOCS
2009
IEEE
15 years 4 months ago
2009
IEEE
Canetti, Goldreich, Goldwasser, and Micali (STOC 2000) introduced the notion of resettable zeroknowledge proofs, where the protocol must be zero-knowledge even if a cheating veriï...
148
click to vote
SIGMOD
2008
ACM
15 years 9 months ago
2008
ACM
Today's query processing engines do not take advantage of the multiple occurrences of a relation in a query to improve performance. Instead, each instance is treated as a dis...