473 search results - page 25 / 95 » Computing excluded minors |
113
Voted
ISMB
2000
14 years 11 months ago
2000
Position-specific scoring matrices have been used extensively to recognize highly conserved protein regions. We present a method for accelerating these searches using a suffix tre...
BIRTHDAY
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. In this work we introduce counterexample guided path reduction based on interval constraint solving for static program analysis. The aim of this technique is to reduce th...
79
Voted
CAD
2008
Springer
14 years 10 months ago
2008
Springer
Product data exchange requires exchanging geometrical shape data that may have to be represented differently in the sending and in the receiving system. Since the translation proc...
105
Voted
TCC
2012
Springer
13 years 5 months ago
2012
Springer
In tandem with recent progress on computing on encrypted data via fully homomorphic encryption, we present a framework for computing on authenticated data via the notion of slight...
92
Voted
CORR
2008
Springer
14 years 10 months ago
2008
Springer
Abstract. We consider the minimum spanning tree problem in a setting where information about the edge weights of the given graph is uncertain. Initially, for each edge e of the gra...