888 search results - page 36 / 178 » The Power of Temporal Proofs |
SLP
1993
14 years 11 months ago
1993
In this paper we describe a method of programspecialisation and give an extended example of its application to specialisation of a refutation proof procedure for rst order logic. ...
TIT
2010
14 years 4 months ago
2010
In this paper, we first show that many independent pseudorandom permutations over {0, 1}n can be obtained from a single public random permutation and secret n bits. We next prove ...
ACIVS
2005
Springer
15 years 3 months ago
2005
Springer
Motion-compensated temporal filtering (MCTF) is a powerful technique entering scalable video coding schemes. Its performance decreases significantly however if the the video sig...
JISBD
2003
14 years 11 months ago
2003
The importance of temporal representation and reasoning is well known to the database community. Examples of such significance are the languages TSQL2 and its follow up, SQL/Tempo...
106
click to vote
STOC
2010
ACM
15 years 7 months ago
2010
ACM
We present a generic method for converting any family of unsatisfiable CNF formulas that require large resolution rank into CNF formulas whose refutation requires large rank for p...