3116 search results - page 249 / 624 » Recovering |
117
Voted
ECCV
2010
Springer
15 years 1 months ago
2010
Springer
In this paper, we present a method for object of interest detection. This method is statistical in nature and hinges in a model which combines salient features using a mixture of l...
CONCUR
2010
Springer
15 years 1 months ago
2010
Springer
We propose a logic for true concurrency whose formulae predicate about events in computations and their causal dependencies. The induced logical equivalence is hereditary history p...
88
Voted
ECAI
2010
Springer
15 years 1 months ago
2010
Springer
In classical revealed preference analysis we are given a sequence of linear prices (i.e., additive over goods) and an agent's demand at each of the prices. The problem is to d...
79
Voted
FSTTCS
2008
Springer
15 years 1 months ago
2008
Springer
The unfolding of (1-)safe Petri nets to occurrence nets is well understood. There is a universal characterization of the unfolding of a safe net which is part and parcel of a core...
99
Voted
CCS
2010
ACM
15 years 1 months ago
2010
ACM
The Atmel chip families SecureMemory, CryptoMemory, and CryptoRF use a proprietary stream cipher to guarantee authenticity, confidentiality, and integrity. This paper describes th...