6274 search results - page 993 / 1255 » From query complexity to computational complexity |
204
click to vote
DSN
2002
IEEE
16 years 4 days ago
2002
IEEE
Model checking has been introduced as an automated technique to verify whether functional properties, expressed in a formal logic like computational tree logic (CTL), do hold in a...
224
click to vote
CGF
2011
14 years 10 months ago
2011
Efficient methods to compute intrinsic distances and geodesic paths have been presented for various types of surface representations, most importantly polygon meshes. These meshe...
269
click to vote
ALGORITHMICA
2011
15 years 2 months ago
2011
Let G = (V, E, w) be a directed graph, where w : V → R is an arbitrary weight function defined on its vertices. The bottleneck weight, or the capacity, of a path is the smalles...
216
click to vote
RECOMB
2008
Springer
16 years 7 months ago
2008
Springer
Abstract. One phylogeny-based approach to horizontal gene transfer (HGT) detection entails comparing the topology of a gene tree to that of the species tree, and using their differ...
218
click to vote
BMCBI
2010
15 years 7 months ago
2010
Background: Protein-protein interaction (PPI) plays essential roles in cellular functions. The cost, time and other limitations associated with the current experimental methods ha...