5344 search results - page 153 / 1069 » Privacy-Preserving Set Operations |
100
click to vote
CALCO
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. For any set-endofunctor T : Set → Set there exists a largest subcartesian transformation µ to the filter functor F : Set → Set. Thus we can associate with every T-c...
182
Voted
JMIV
2002
15 years 2 months ago
2002
Motivated by operators simplifying the topographic map of a function, we study the theoretical properties of two kinds of "grain" filters. The first category, discovered ...
AI
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. We present a system capable of modeling human newspaper readers. It is based on the extraction of reported speech, which is subsequently converted into a fuzzy theory-bas...
132
click to vote
JVA
2006
IEEE
15 years 9 months ago
2006
IEEE
We present a natural deduction calculus for the computation tree logic CTL defined with the full set of classical and temporal logic operators. The system extends the natural ded...
116
click to vote
APLAS
2007
ACM
15 years 7 months ago
2007
ACM
Abstract. We introduce the concept of guarded saturated sets, saturated sets of strongly normalizing terms closed under folding of corecursive functions. Using this tool, we can mo...