3362 search results - page 34 / 673 » A definition of subjective possibility |
101
click to vote
POPL
2010
ACM
15 years 9 months ago
2010
ACM
The method of logical relations is a classic technique for proving the equivalence of higher-order programs that implement the same observable behavior but employ different intern...
169
click to vote
EUROCRYPT
1993
Springer
15 years 3 months ago
1993
Springer
This work is motivated by the observation that in DES-like ciphexs it is possible to choose the round functions in such a way that every non-trivial one-round characteristic has sm...
ERSA
2006
15 years 1 months ago
2006
Abstract-- In this work the problem of modeling reconfigurable systems behavior with a precise, executable semantics is considered. The possibility of synthesising such models onto...
103
click to vote
JMM2
2007
14 years 11 months ago
2007
— This thesis explores the creative possibilities and implications of Augmented Reality, not just as a specific technology of computer science, but as one of high technologies th...
102
click to vote
ICIP
2001
IEEE
16 years 1 months ago
2001
IEEE
Image transmission over low-bandwidth channels can be speeded up if the image coding mechanism supports regions of interest (RoIs). By such a scheme, image parts not belonging to ...