1418 search results - page 188 / 284 » Schema polynomials and applications |
159
click to vote
TGC
2007
Springer
16 years 16 days ago
2007
Springer
Many techniques exist for statically computing properties of the evolution of processes expressed in process algebras. Static analysis has shown how to obtain useful results that c...
200
click to vote
CCECE
2006
IEEE
16 years 15 days ago
2006
IEEE
In this paper, we introduce new algorithms for selecting taxon samples from large evolutionary trees, maintaining uniformity and randomness, under certain new constraints on the t...
160
click to vote
COMPGEOM
2006
ACM
16 years 12 days ago
2006
ACM
In this paper, we study the problem of L1-fitting a shape to a set of point, where the target is to minimize the sum of distances of the points to the shape, or alternatively the...
148
click to vote
ISPAN
2005
IEEE
16 years 21 hour ago
2005
IEEE
Abstract—In real networks, disjoint paths are needed for providing protection against single link/node failure. When disjoint paths cannot be found, an alternative solution is to...
159
click to vote
APPROX
2005
Springer
15 years 12 months ago
2005
Springer
There has been significant interest lately in the task of constructing codes that are testable with a small number of random probes. Ben-Sasson and Sudan show that the repeated te...