11063 search results - page 3 / 2213 » On the existence of universal models |
MCU
1998
13 years 9 months ago
1998
Block cellular automata (BCA) make local, parallel, synchronous and uniform updates of in nite lattices. In the one-dimensionalcase, there exist BCA with 11 states which are unive...
CP
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. While the efficiency and scalability of modern SAT technology offers an intriguing alternative approach to constraint solving via translation to SAT, previous work has mo...
ICIP
2006
IEEE
14 years 9 months ago
2006
IEEE
Following a recently introduced perceptual model for balanced multiwavelets, we outline, in this paper, an extension of our previous work and propose a new perceptual model for sca...
EUROCRYPT
2003
Springer
14 years 25 days ago
2003
Springer
The recently proposed universally composable (UC) security framework for analyzing security of cryptographic protocols provides very strong security guarantees. In particular, a p...
CGI
1998
IEEE
13 years 12 months ago
1998
IEEE
This paper presents a new architecture of a database management system intended to be used together with existing graphics software. In the first place, a system with this archite...