Sciweavers

5344 search results - page 136 / 1069
» Privacy-Preserving Set Operations
Sort
View
FAC
2006
92views more  FAC 2006»
15 years 3 months ago
Action Refinement Applied to Late Decisions
In modular approaches to specify concurrent systems a system is built up from components using various operators as e.g. the sequential, the parallel, or the choice (+) operator. U...
Harald Fecher, Mila E. Majster-Cederbaum
TIME
2008
IEEE
15 years 9 months ago
Decomposition of Decidable First-Order Logics over Integers and Reals
We tackle the issue of representing infinite sets of realvalued vectors. This paper introduces an operator for combining integer and real sets. Using this operator, we decompose ...
Florent Bouchy, Alain Finkel, Jérôme ...
ECOOP
2003
Springer
15 years 8 months ago
Higher-Order Hierarchies
This paper explains how higher-order hierarchies can be used to handle the expression problem. The expression is concerned with extending both the set of data structures and the s...
Erik Ernst
P2P
2002
IEEE
170views Communications» more  P2P 2002»
15 years 8 months ago
A Semantical and Implementative Comparison of File Sharing Peer-to-Peer Applications
In this paper some representative peer-to-peer file sharing applications are compared against two sets of features. The first set describes the semantics of the relevant primiti...
Pietro Braione
ICIP
1994
IEEE
15 years 7 months ago
Design of Multi-Dimensional Derivative Filters
Many multi-dimensional signal processing problems require the computation of signal gradients or directional derivatives. Traditional derivative estimates based on adjacent or cen...
Eero P. Simoncelli