3081 search results - page 480 / 617 » A Formal Ontology of Properties |
171
click to vote
IDA
2005
Springer
15 years 12 months ago
2005
Springer
Clustering or bi-clustering techniques have been proved quite useful in many application domains. A weakness of these techniques remains the poor support for grouping characterizat...
157
click to vote
IFIP
2005
Springer
15 years 12 months ago
2005
Springer
In this paper we propose a formalization of probable innocence, a notion of probabilistic anonymity that is associated to “realistic” protocols such as Crowds. We analyze crit...
156
click to vote
ISPEC
2005
Springer
15 years 12 months ago
2005
Springer
Token-controlled public key encryption (TCPKE) schemes, introduced in [1], offer many possibilities of application in financial or legal scenarios. Roughly speaking, in a TCPKE s...
181
click to vote
SIGMOD
2004
ACM
15 years 12 months ago
2004
ACM
Data items are often associated with a location in which they are present or collected, and their relevance or in uence decays with their distance. Aggregate values over such data...
194
click to vote
FMCAD
2004
Springer
15 years 12 months ago
2004
Springer
Most symbolic model checkers are based on either Binary Decision Diagrams (BDDs), which may grow exponentially large, or Satisfiability (SAT) solvers, whose time requirements rapi...