Sciweavers

796 search results - page 8 / 160
» A Formalization of ODMG Queries
Sort
View
CHI
2011
ACM
13 years 2 months ago
Materializing the query with facet-streams: a hybrid surface for collaborative search on tabletops
We introduce “Facet-Streams”, a hybrid interactive surface for co-located collaborative product search on a tabletop. Facet-Streams combines techniques of information visualiz...
Hans-Christian Jetter, Jens Gerken, Michael Zö...
OOPSLA
2007
Springer
14 years 5 months ago
Lost in translation: formalizing proposed extensions to c#
Current real-world software applications typically involve heavy use of relational and XML data and their query languages. Unfortunately object-oriented languages and database que...
Gavin M. Bierman, Erik Meijer, Mads Torgersen
EDBT
2012
ACM
255views Database» more  EDBT 2012»
12 years 1 months ago
Top-k spatial keyword queries on road networks
With the popularization of GPS-enabled devices there is an increasing interest for location-based queries. In this context, one interesting problem is processing top-k spatial key...
João B. Rocha-Junior, Kjetil Nørv&ar...
CAV
2003
Springer
140views Hardware» more  CAV 2003»
14 years 4 months ago
TLQSolver: A Temporal Logic Query Checker
Marsha Chechik, Arie Gurfinkel
CL
2000
Springer
13 years 10 months ago
A Formal Model for an Expressive Fragment of XSLT
The extension of the XSL (eXtensible Style sheet Language) by variables and passing of data values between template rules has generated a powerful XML query language: XSLT (eXtens...
Geert Jan Bex, Sebastian Maneth, Frank Neven