4352 search results - page 320 / 871 » A Representation Theorem and Applications |
189
click to vote
ICIP
2009
IEEE
16 years 8 months ago
2009
IEEE
Compressive Sensing (CS) is a new paradigm in signal acquisition and compression. In compressive sensing, a compressible signal is acquired using much less measurements than the o...
316
Voted
POPL
2009
ACM
16 years 8 months ago
2009
ACM
Garbage collectors are notoriously hard to verify, due to their lowlevel interaction with the underlying system and the general difficulty in reasoning about reachability in graph...
197
click to vote
CADE
2005
Springer
16 years 7 months ago
2005
Springer
Abstract. We investigate the computational behaviour of `two-dimensional' propositional temporal logics over (N, <) (with and without the next-time operator ?) that are cap...
240
click to vote
CADE
2005
Springer
16 years 7 months ago
2005
Springer
Two kinds of orderings are widely used in term rewriting and theorem proving, namely recursive path ordering (RPO) and Knuth-Bendix ordering (KBO). They provide powerful tools to p...
215
Voted
CADE
2002
Springer
16 years 7 months ago
2002
Springer
Abstract. Proof-carrying code (PCC) allows a code producer to associate to a program a machine-checkable proof of its safety. In the original approach to PCC, the safety policy inc...