5255 search results - page 173 / 1051 » Formal Methods for Privacy |
117
Voted
FC
2005
Springer
15 years 9 months ago
2005
Springer
A coupon represents the right to claim some service which is typically offered by vendors. In practice, issuing bundled multi-coupons is more efficient than issuing single coupons...
198
Voted
SSD
1993
Springer
15 years 7 months ago
1993
Springer
Topological relationships between spatial objects represent important knowledge that users of geographic information systems expect to retrieve from a spatial database. A di cult t...
127
Voted
FAABS
2004
Springer
15 years 7 months ago
2004
Springer
The aim of this paper is to show a method that is able to detect inconsistencies in the reasoning carried out by a deliberative agent. The agent is supposed to be provided with a h...
156
Voted
PERCOM
2007
ACM
16 years 3 months ago
2007
ACM
The objective of private authentication for Radio Frequency Identification (RFID) systems is to allow valid readers to explicitly authenticate their dominated tags without leaking...
114
Voted
ICMCS
2006
IEEE
15 years 9 months ago
2006
IEEE
People identification is an essential task for video content analysis in a surveillance system. A good classifier, however, requires a large amount of training data, which may not...