6042 search results - page 887 / 1209 » Repeated Observation Models |
152
click to vote
CALCO
2007
Springer
16 years 27 days ago
2007
Springer
Besides functional correctness, specifications must describe other properties of permissible implementations. We want to use simple algebraic techniques to specify resource usage ...
206
click to vote
CRYPTO
2007
Springer
16 years 27 days ago
2007
Springer
Round complexity is a central measure of efficiency, and characterizing the round complexity of various cryptographic tasks is of both theoretical and practical importance. We show...
163
click to vote
EUROCRYPT
2007
Springer
16 years 27 days ago
2007
Springer
We study conditional computational entropy: the amount of randomness a distribution appears to have to a computationally bounded observer who is given some correlated information....
181
click to vote
ICMI
2007
Springer
16 years 26 days ago
2007
Springer
We address the problem of automatic interpretation of nonexaggerated human facial and body behaviours captured in video. We illustrate our approach by three examples. (1) We intro...
169
click to vote
IPSN
2007
Springer
16 years 26 days ago
2007
Springer
We previously presented a model for some wireless sensor and actuator network (WSAN) applications based on the vector space tools of frame theory. In this WSAN model there is a we...