601 search results - page 7 / 121 » Simulation vs. Equivalence |
INFORMATICASI
2006
13 years 9 months ago
2006
VTC
2010
IEEE
13 years 8 months ago
2010
IEEE
BIRTHDAY
1997
Springer
14 years 1 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
14 years 1 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...
ICIP
2008
IEEE
14 years 11 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...