92 search results - page 9 / 19 » Proof Planning with Multiple Strategies |
85
Voted
EDBT
2010
ACM
15 years 3 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 5 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 10 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 6 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ï...
162
click to vote
SIGMOD
2008
ACM
15 years 12 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...