1712 search results - page 178 / 343 » Abstract Constraint Data Types |
135
Voted
PET
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. We develop a language-based approach for modeling and verifying aspects of privacy policies. Our approach relies on information-flow control. Concretely, we use the prog...
113
Voted
ISW
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. We introduce the notion of persistent authenticated dictionaries, that is, dictionaries where the user can make queries of the type “was element e in set S at time t?â€...
110
Voted
HCI
2007
15 years 4 months ago
2007
Abstract. In this paper, we design an Attention Focus Kalman Filter (AFKF) a framework that offers interaction capabilities by constructing an eyemovement language, provides real-t...
101
Voted
ESANN
2004
15 years 4 months ago
2004
Abstract. The regularized Mahalanobis distance is proposed in the framework of finite mixture models to avoid commonly faced numerical difficulties encountered with EM. Its princip...
101
Voted
DT
2006
15 years 2 months ago
2006
at their abstractions are similar to data types and operations supplied by conventional processors. A core principle of BCPL is its memory model: an The Challenges of Synthesizing ...