5205 search results - page 141 / 1041 » Tilings and model theory |
RML
2006
13 years 9 months ago
2006
We construct a model of set theory without the foundation axiom in which there exists a transitive set whose intersection is not transitive.
ICIP
2003
IEEE
14 years 10 months ago
2003
IEEE
Thispaper presents an information-theoreticstudy ofvideo codecs that are based on the principle of source coding with side information at the decoder In contrast to the classical ...
PKC
2009
Springer
14 years 9 months ago
2009
Springer
We take a step towards a more realistic modeling of personal digital signatures, where a human user, his mobile equipment, his PC and a server are all considered as independent pla...
CDC
2008
IEEE
14 years 3 months ago
2008
IEEE
Abstract. Differential repetitive processes are a distinct class of continuous-discrete twodimensional linear systems of both systems theoretic and applications interest. These pr...
DATE
2005
IEEE
14 years 2 months ago
2005
IEEE
— A formal methodology for the analysis of a closed loop clock distribution and active deskewing network is proposed. In this paper an active clock distribution and deskewing net...