Sciweavers

1181 search results - page 119 / 237
» constraints 2004
Sort
View
OOPSLA
2004
Springer
14 years 2 months ago
Modular generics
This paper presents the design of G, a new language specifically created for generic programming. We review and identify important language features of C++ and Haskell in light o...
Jeremy G. Siek
POLICY
2004
Springer
14 years 2 months ago
Cassandra: Distributed Access Control Policies with Tunable Expressiveness
We study the specification of access control policy in large-scale distributed systems. Our work on real-world policies has shown that standard policy idioms such as role hierarc...
Moritz Y. Becker, Peter Sewell
SAT
2004
Springer
101views Hardware» more  SAT 2004»
14 years 2 months ago
An Algebraic Approach to the Complexity of Generalized Conjunctive Queries
Kolaitis and Vardi pointed out that constraint satisfaction and conjunctive query containment are essentially the same problem. We study the Boolean conjunctive queries under a mor...
Michael Bauland, Philippe Chapdelaine, Nadia Creig...
WEBDB
2004
Springer
125views Database» more  WEBDB 2004»
14 years 2 months ago
Best-Match Querying from Document-Centric XML
On the Web, there is a pervasive use of XML to give lightweight semantics to textual collections. Such documentcentric XML collections require a query language that can gracefully...
Jaap Kamps, Maarten Marx, Maarten de Rijke, Bö...
3DPVT
2004
IEEE
115views Visualization» more  3DPVT 2004»
14 years 20 days ago
Specularity Elimination in Range Sensing for Accurate 3D Modeling of Specular Objects
We present a novel range sensing method that is capable of constructing accurate 3D models of specular objects. Our method utilizes a new range imaging concept called multi-peak r...
Johnny Park, Avinash C. Kak