468 search results - page 72 / 94 » One-Way Functions in Complexity Theory |
100
click to vote
BMCBI
2004
14 years 11 months ago
2004
Background: The proliferation of structural and functional studies of RNA has revealed an increasing range of RNA's structural repertoire. Toward the objective of systematic ...
175
click to vote
GIS
2004
ACM
16 years 2 days ago
2004
ACM
In the geometric data model [6], spatio-temporal data are modelled as a finite collection of triangles that are transformed by time-dependent affinities. To facilitate querying an...
106
click to vote
STOC
2009
ACM
15 years 11 months ago
2009
ACM
We design a linear time approximation scheme for the GaleBerlekamp Switching Game and generalize it to a wider class of dense fragile minimization problems including the Nearest C...
136
click to vote
POPL
2003
ACM
15 years 11 months ago
2003
ACM
We present a framework for applying memoization selectively. The framework provides programmer control over equality, space usage, and identification of precise dependences so tha...
CADE
2008
Springer
15 years 11 months ago
2008
Springer
Abstract. Operating-system verification gains increasing research interest. The complexity of such systems is, however, challenging and many endeavors are limited in some respect: ...