11168 search results - page 1613 / 2234 » Abstract State Processes |
117
click to vote
CONCUR
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. An impure language is one that combines functional and imperative constructs. We propose a method for ensuring termination of impure concurrent languages that makes it po...
148
Voted
ECAI
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. This paper is centered on the problem of merging (possibly conflicting) information coming from different sources. Though this problem has attracted much attention in pro...
144
click to vote
ECCV
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. We study the problem of multimodal dimensionality reduction assuming that data samples can be missing at training time, and not all data modalities may be present at appl...
116
click to vote
ESORICS
2010
Springer
15 years 6 months ago
2010
Springer
The security risk of a network against unknown zero day attacks has been considered as something unmeasurable since software flaws are less predictable than hardware faults and the...
127
click to vote
DBSEC
2008
15 years 6 months ago
2008
Abstract. When generalization algorithms are known to the public, an adversary can obtain a more precise estimation of the secret table than what can be deduced from the disclosed ...