11065 search results - page 2123 / 2213 » Education |
CHI
2002
ACM
16 years 6 days ago
2002
ACM
This two-day workshop examines the ways that on-line communities create and refine their shared resources, including both the formal and observable artifacts (documents, chats, th...
203
click to vote
POPL
2007
ACM
16 years 5 days ago
2007
ACM
This paper proposes a lightweight fusion method for general recursive function definitions. Compared with existing proposals, our method has several significant practical features...
201
click to vote
POPL
2005
ACM
16 years 5 days ago
2005
ACM
on Predicate Abstraction and Fair Termination Andreas Podelski Andrey Rybalchenko Max-Planck-Institut f?ur Informatik Saarbr?ucken, Germany Predicate abstraction is the basis of m...
180
click to vote
VLDB
2006
ACM
16 years 2 days ago
2006
ACM
Abstract We explore the problem of portable and flexible privacy preserving access rights that permit access to a large collection of digital goods. Privacy-preserving access contr...
ICIAP
2001
Springer
15 years 12 months ago
2001
Springer
We propose a novel representation for characterizing image differences using a deformable technique for obtaining pixel-wise correspondences. This representation, which is based o...