473 search results - page 25 / 95 » Computing excluded minors |
132
click to vote
ISMB
2000
15 years 1 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...
119
Voted
BIRTHDAY
2010
Springer
15 years 1 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...
93
Voted
CAD
2008
Springer
15 years 16 days 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...
128
click to vote
TCC
2012
Springer
13 years 8 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...
110
click to vote
CORR
2008
Springer
15 years 15 days 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...