1192 search results - page 185 / 239 » Computing Weakest Readings |
122
click to vote
SIAMDM
2002
15 years 1 months ago
2002
Let Hn be the number of claw-free cubic graphs on 2n labeled nodes. Combinatorial reductions are used to derive a second order, linear homogeneous differential equation with polyno...
101
Voted
SP
2002
IEEE
15 years 1 months ago
2002
IEEE
A new eavesdropping technique can be used to read cathode-ray tube (CRT) displays at a distance. The intensity of the light emitted by a raster-scan screen as a function of time c...
119
click to vote
NAR
2007
15 years 1 months ago
2007
COMPASS is a method for homology detection and local alignment construction based on the comparison of multiple sequence alignments (MSAs). The method derives numerical profiles f...
TOPLAS
2010
15 years 10 days ago
2010
Fractional permissions use fractions to distinguish write access (1) from read access (any smaller fraction). Nesting (an extension of adoption) can be used to model object invari...
168
click to vote
AGP
2010
IEEE
15 years 6 hour ago
2010
IEEE
The Italian Logic Programming community has given several contributions to the theory of Concurrent Constraint Programming. In particular, in the topics of semantics, verification,...