Sciweavers

8220 search results - page 1330 / 1644
» Querying XML Data
Sort
View
SSDBM
2011
IEEE
257views Database» more  SSDBM 2011»
14 years 11 months ago
Database-as-a-Service for Long-Tail Science
Database technology remains underused in science, especially in the long tail  the small labs and individual researchers that collectively produce the majority of scientic output...
Bill Howe, Garrett Cole, Emad Souroush, Paraschos ...
236
Voted
TACAS
2012
Springer
277views Algorithms» more  TACAS 2012»
14 years 3 months ago
Proving Reachability Using FShell - (Competition Contribution)
FShell is an automated white-box test-input generator for C programs, computing test data with respect to user-specified code coverage criteria. The pillars of FShell are the decl...
Andreas Holzer, Daniel Kroening, Christian Schallh...
SIGMOD
2012
ACM
209views Database» more  SIGMOD 2012»
13 years 10 months ago
Locality-sensitive hashing scheme based on dynamic collision counting
Locality-Sensitive Hashing (LSH) and its variants are wellknown methods for solving the c-approximate NN Search problem in high-dimensional space. Traditionally, several LSH funct...
Junhao Gan, Jianlin Feng, Qiong Fang, Wilfred Ng
272
Voted
ICDT
2012
ACM
251views Database» more  ICDT 2012»
13 years 9 months ago
Computing universal models under guarded TGDs
A universal model of a database D and a set Σ of integrity constraints is a database that extends D, satisfies Σ, and is most general in the sense that it contains sound and co...
André Hernich
329
Voted
GIS
2008
ACM
16 years 8 months ago
Sharing and exploring sensor streams over geocentric interfaces
We present SenseWeb, an open and scalable infrastructure for sharing and geocentric exploration of sensor data streams. SenseWeb allows sensor owners to share data streams across ...
Liqian Luo, Aman Kansal, Suman Nath, Feng Zhao
« Prev « First page 1330 / 1644 Last » Next »