11740 search results - page 2176 / 2348 » More Problems in Rewriting |
218
Voted
DOCENG
2004
ACM
15 years 11 months ago
2004
ACM
With the wide adoption of XML as a standard data representation and exchange format, querying XML documents becomes increasingly important. However, relational database systems co...
170
click to vote
ISSTA
2004
ACM
15 years 11 months ago
2004
ACM
Model checking based on validating temporal logic formulas has proven practical and effective for numerous software engineering applications. As systems based on this approach ha...
188
click to vote
MM
2004
ACM
15 years 11 months ago
2004
ACM
This paper deals with phrase structure detection in contemporary western dance. Phrases are a sequence of movements that exist at semantic abstraction than gestures. The problem i...
182
Voted
MM
2004
ACM
15 years 11 months ago
2004
ACM
We present a prototype that automatically aligns acoustic musical signals with their corresponding textual lyrics, in a manner similar to manually-aligned karaoke. We tackle this ...
152
Voted
PDC
2004
ACM
15 years 11 months ago
2004
ACM
As technology becomes more embedded in our daily lives, there is a great deal of hope about the use of information technology to achieve positive community outcomes like increasin...