601 search results - page 7 / 121 » Simulation vs. Equivalence |
INFORMATICASI
2006
14 years 11 months ago
2006
VTC
2010
IEEE
14 years 10 months ago
2010
IEEE
BIRTHDAY
1997
Springer
15 years 3 months ago
1997
Springer
Abstract. Logic preservation theorems often have the form of a syntax/semantics correspondence. For example, the Los-Tarski theorem asserts that a rst-order sentence is preserved b...
FOSSACS
2006
Springer
15 years 3 months ago
2006
Springer
We prove that the equational theory of the process algebra BCCSP modulo completed simulation equivalence does not have a finite basis. Furthermore, we prove that with a finite alph...
114
click to vote
ICIP
2008
IEEE
16 years 1 months ago
2008
IEEE
Previous compressive sensing papers have considered the example of recovering an image with sparse gradient from a surprisingly small number of samples of its Fourier transform. T...