2340 search results - page 87 / 468 » Second quarter 2008 |
164
click to vote
JLP
2008
15 years 6 months ago
2008
Currently known sequent systems for temporal logics such as linear time temporal logic and computation tree logic either rely on a cut rule, an invariant rule, or an infinitary ru...
149
click to vote
JMIV
2008
15 years 6 months ago
2008
This paper focuses on the issue of translating the relative variation of one shape with respect to another in a template centered representation. The context is the theory of Diffe...
139
click to vote
JOC
2008
15 years 6 months ago
2008
We describe two different attacks against the iso/iec 9796-1 signature standard for RSA and Rabin. Both attacks consist in an existential forgery under a chosen-message attack: the...
125
click to vote
JSAT
2008
15 years 6 months ago
2008
The Ternary Tree Solver (tts) is a complete solver for propositional satisfiability which was designed to have good performance on the most difficult small instances. It uses a st...
170
click to vote
DKE
2007
15 years 6 months ago
2007
Histogram techniques have been used in many commercial database management systems to estimate a query result size. Recently, it has been shown that they are very effective to su...