Sciweavers

1650 search results - page 145 / 330
» How to Turn the Page
Sort
View
ICFP
1997
ACM
15 years 10 months ago
Foundations for the Implementation of Higher-Order Subtyping
We show how to implement a calculus with higher-order subtyping and subkinding by replacing uses of implicit subsumption with explicit coercions. To ensure this can be done, a pol...
Karl Crary
AIRS
2009
Springer
15 years 10 months ago
Enabling Effective User Interactions in Content-Based Image Retrieval
Abstract. This paper presents an interactive content-based image retrieval framework--uInteract, for delivering a novel four-factor user interaction model visually. The four-factor...
Haiming Liu 0002, Srdan Zagorac, Victoria S. Uren,...
BTW
2007
Springer
133views Database» more  BTW 2007»
15 years 10 months ago
Pathfinder: XQuery Compila-tion Techniques for Relational Database Targets
: Relational database systems are highly efficient hosts to table-shaped data. It is all the more interesting to see how a careful inspection of both, the XML tree structure as wel...
Jens Teubner
DUX
2007
15 years 10 months ago
Responsibilities and implications: further thoughts on ethnography and design
Many researchers and practitioners in user experience design have turned towards social sciences to find ways to understand the social contexts in which both users and technologie...
Paul Dourish
ACNS
2004
Springer
131views Cryptology» more  ACNS 2004»
15 years 10 months ago
Evaluating Security of Voting Schemes in the Universal Composability Framework
In the literature, voting protocols are considered secure if they satisfy requirements such as privacy, accuracy, robustness, etc. It can be time consuming to evaluate a voting pr...
Jens Groth