9405 search results - page 190 / 1881 » Computing a Model of Set Theory |
149
Voted
CRYPTO
2012
Springer
13 years 5 months ago
2012
Springer
Abstract. We present the first black-box construction of a secure multiparty computation protocol that satisfies a meaningful notion of concurrent security in the plain model (wi...
143
click to vote
RSCTC
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. In this paper, we discuss approximation spaces in a granular computing framework. Such approximation spaces generalise the approaches to concept approximation existing in...
102
Voted
ICPR
2002
IEEE
15 years 8 months ago
2002
IEEE
This paper describes a novel application of Statistical Learning Theory (SLT) for motion prediction. SLT provides analytical VC-generalization bounds for model selection; these bo...
134
click to vote
TSP
2008
15 years 3 months ago
2008
The focus of this paper is on VLIW instruction scheduling that minimizes the variation of power consumed by the processor during the execution of a target program. We use rough set...
122
Voted
RTA
2010
Springer
15 years 7 months ago
2010
Springer
Rewriting systems on words are very useful in the study of monoids. In good cases, they give finite presentations of the monoids, allowing their manipulation by a computer. Even b...