23201 search results - page 115 / 4641 » Rewriting Systems with Data |
145
click to vote
ICMCS
2006
IEEE
15 years 11 months ago
2006
IEEE
In this work, we propose a data embedding scheme in MPEG1/Audio Layer II compressed domain. Data embedding is conducted every AAU by using side information (location of sub-band a...
229
click to vote
ICDT
2009
ACM
16 years 6 months ago
2009
ACM
We study the problem of querying data sources that accept only a limited set of queries, such as sources accessible by Web services which can implement very large (potentially inf...
164
click to vote
CORR
2004
Springer
15 years 5 months ago
2004
Springer
We introduce an extension of the XQuery language, FluX, that supports event-based query processing and the conscious handling of main memory buffers. Purely event-based queries of...
152
click to vote
ICFP
2008
ACM
16 years 5 months ago
2008
ACM
In the context of program verification in an interactive theorem prover, we study the problem of transforming function definitions with ML-style (possibly overlapping) pattern mat...
194
click to vote
CADE
2005
Springer
16 years 5 months ago
2005
Springer
Two kinds of orderings are widely used in term rewriting and theorem proving, namely recursive path ordering (RPO) and Knuth-Bendix ordering (KBO). They provide powerful tools to p...