6719 search results - page 997 / 1344 » A Generalization of Automatic Sequences |
216
click to vote
CADE
2008
Springer
16 years 8 months ago
2008
Springer
We propose a procedure for automated implicit inductive theorem proving for equational specifications made of rewrite rules with conditions and constraints. The constraints are int...
334
click to vote
SIGMOD
2009
ACM
16 years 7 months ago
2009
ACM
The Dryad and DryadLINQ systems offer a new programming model for large scale data-parallel computing. They generalize previous execution environments such as SQL and MapReduce in...
337
click to vote
SIGMOD
2009
ACM
16 years 7 months ago
2009
ACM
The Web as a global information space is developing from a Web of documents to a Web of data. This development opens new ways for addressing complex information needs. Search is n...
316
click to vote
SIGMOD
2008
ACM
16 years 7 months ago
2008
ACM
XML database systems are expected to handle increasingly complex queries over increasingly large and highly structured XML databases. An important problem that needs to be solved ...
287
click to vote
SIGMOD
2008
ACM
16 years 7 months ago
2008
ACM
The Cascadia system provides RFID-based pervasive computing applications with an infrastructure for specifying, extracting and managing meaningful high-level events from raw RFID ...