6365 search results - page 794 / 1273 » Fast Local Computation Algorithms |
179
click to vote
FOCS
1989
IEEE
15 years 11 months ago
1989
IEEE
We introduce a temporal logic for the speci cation of real-time systems. Our logic, TPTL, employs a novel quanti er construct for referencing time: the freeze quanti er binds a var...
231
click to vote
COMGEO
2006
ACM
15 years 7 months ago
2006
ACM
: This note proposes a simple rule to determine a unique triangulation among all Delaunay triangulations of a planar point set, based on two preferred directions. We show that the ...
182
click to vote
CGF
2007
15 years 7 months ago
2007
Given a tetrahedral mesh immersed in a voxel model, we present a method to refine the mesh to reduce the discrepancy between interpolated values based on either scheme at arbitra...
210
click to vote
JAL
2002
15 years 7 months ago
2002
We study the computational problem "find the value of the quantified formula obtained by quantifying the variables in a sum of terms." The "sum" can be based o...
185
click to vote
RECOMB
2004
Springer
16 years 8 months ago
2004
Springer
Protein-protein interactions, which form the basis for most cellular processes, result in the formation of protein interfaces. Believing that the local shape of proteins is crucia...