Sciweavers

3680 search results - page 597 / 736
» cases 2010
Sort
View
RTA
2010
Springer
15 years 8 months ago
Computing Critical Pairs in 2-Dimensional Rewriting Systems
Rewriting systems on words are very useful in the study of monoids. In good cases, they give finite presentations of the monoids, allowing their manipulation by a computer. Even b...
Samuel Mimram
SIGMOD
2010
ACM
215views Database» more  SIGMOD 2010»
15 years 8 months ago
Dynamic symbolic database application testing
A database application differs form regular applications in that some of its inputs may be database queries. The program will execute the queries on a database and may use any re...
Chengkai Li, Christoph Csallner
ICDT
2010
ACM
161views Database» more  ICDT 2010»
15 years 8 months ago
Data Correspondence, Exchange, and Repair
Checking the correspondence between two or more database instances and enforcing it is a procedure widely used in practice without however having been explored from a theoretical ...
Gösta Grahne, Adrian Onet
ICDT
2010
ACM
193views Database» more  ICDT 2010»
15 years 7 months ago
Data correspondence, exchange and repair
Checking the correspondence between two or more database instances and enforcing it is a procedure widely used in practice without however having been explored from a theoretical ...
Gösta Grahne, Adrian Onet
VDA
2010
186views Visualization» more  VDA 2010»
15 years 7 months ago
Tile-based parallel coordinates and its application in financial visualization
Parallel coordinates technique has been widely used in information visualization applications and it has achieved great success in visualizing multivariate data and perceiving the...
Jamal Alsakran, Ye Zhao, Xinlei Zhao