1122 search results - page 135 / 225 » Behavioral Extensions of Institutions |
KDD
2005
ACM
15 years 10 months ago
2005
ACM
Online information services have grown too large for users to navigate without the help of automated tools such as collaborative filtering, which makes recommendations to users ba...
VLSID
2008
IEEE
15 years 10 months ago
2008
IEEE
Protocol conversion involves the use of a converter to control communication between two or more protocols such that desired system-level specifications can be satisfied. We invest...
114
click to vote
CADE
2007
Springer
15 years 10 months ago
2007
Springer
Manna and Pnueli have extensively shown how a mixture of first-order logic (FOL) and discrete Linear time Temporal Logic (LTL) is sufficient to precisely state verification problem...
141
click to vote
SIGMOD
2006
ACM
15 years 10 months ago
2006
ACM
We study generalization for preserving privacy in publication of sensitive data. The existing methods focus on a universal approach that exerts the same amount of preservation for...
EDBT
2002
ACM
15 years 10 months ago
2002
ACM
Abstract. Aggregate window queries return summarized information about objects that fall inside a query rectangle (e.g., the number of objects instead of their concrete ids). Tradi...