5344 search results - page 379 / 1069 » Privacy-Preserving Set Operations |
158
Voted
COMBINATORICS
1998
15 years 4 months ago
1998
A multimatroid is a combinatorial structure that encompasses matroids, delta-matroids and isotropic systems. This structure has been introduced to unify a theorem of Edmonds on th...
136
click to vote
LOGCOM
2002
15 years 4 months ago
2002
This paper defines and examines model checking games for the branching time temporal logic CTL . The games employ a technique called focus which enriches sets by picking out one d...
143
click to vote
IPMU
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. In this paper we introduce a new approach to automatic attribute and granularity selection for building optimum regression trees. The method is based on the minimum descr...
115
click to vote
JUCS
2010
15 years 3 months ago
2010
: This paper presents a qualitative shape description scheme which has been defined in order to have a formal theory to allow the construction of new shapes from a set of given sha...
158
click to vote
MSCS
2010
15 years 3 months ago
2010
ABSTRACT. In this note we prove that any Turing machine which uses only a finite computational space for every input cannot solve an uncomputable problem even in case it runs in a...