2940 search results - page 400 / 588 » Relational Parametricity and Control |
158
click to vote
PODS
2004
ACM
16 years 5 months ago
2004
ACM
Several studies have demonstrated the effectiveness of the wavelet decomposition as a tool for reducing large amounts of data down to compact wavelet synopses that can be used to ...
189
click to vote
LFCS
2009
Springer
15 years 12 months ago
2009
Springer
Memory logics are a family of modal logics in which standard relational structures are augmented with data structures and additional operations to modify and query these structure...
193
click to vote
HRI
2006
ACM
15 years 11 months ago
2006
ACM
The design and development of social robots that interact and assist people in daily life requires moving into unconstrained daily-life environments. This presents unexplored meth...
168
click to vote
HPDC
2000
IEEE
15 years 9 months ago
2000
IEEE
The dQUOB system satis es client need for speci c information from high-volume data streams. The data streams we speak of are the ow of data existing during large-scale visualizat...
162
click to vote
VLDB
1999
ACM
15 years 9 months ago
1999
ACM
We describe the architecture of a hypertext resource discovery system using a relational database. Such a system can answer questions that combine page contents, metadata, and hyp...