1173 search results - page 119 / 235 » On the Compositionality of Round Abstraction |
162
Voted
ICISC
2009
14 years 10 months ago
2009
Abstract. Automatic recognition of human faces is becoming increasingly popular in civilian and law enforcement applications that require reliable recognition of humans. However, t...
121
Voted
TWC
2010
14 years 7 months ago
2010
Abstract--In this paper we develop a new analytical methodology for the evaluation of the outage probability of cooperative decode-and-forward (DF) automatic-repeat-request (ARQ) r...
CRYPTO
2011
Springer
14 years 15 days ago
2011
Springer
Abstract. A time-lock puzzle is a mechanism for sending messages “to the future”. The sender publishes a puzzle whose solution is the message to be sent, thus hiding it until e...
103
click to vote
VIS
2005
IEEE
16 years 1 months ago
2005
IEEE
High resolution volumes require high precision compositing to preserve detailed structures. This is even more desirable for volumes with high dynamic range values. After the high ...
103
click to vote
ICFP
2008
ACM
16 years 20 days ago
2008
ACM
There are now a number of bidirectional programming languages, where every program can be read both as a forward transformation mapping one data structure to another and as a reve...