1075 search results - page 154 / 215 » Toward a Verified Relational Database Management System |
CIKM
2003
Springer
14 years 1 months ago
2003
Springer
In this paper, we describe a graphical workflow management system called HyperThesis to address the challenges of integrating bioinformatics applications. HyperThesis is an integ...
KDD
2003
ACM
14 years 9 months ago
2003
ACM
Recent proposals to apply data mining systems to problems in law enforcement, national security, and fraud detection have attracted both media attention and technical critiques of...
APWEB
2003
Springer
14 years 1 months ago
2003
Springer
Search engines are among the most important applications or services on the web. Most existing successful search engines use global ranking algorithms to generate the ranking of do...
CVPR
2007
IEEE
14 years 20 days ago
2007
IEEE
Multiple sensors are commonly fused to improve the detection and recognition performance of computer vision and pattern recognition systems. The traditional approach to determine ...
SIGMOD
2007
ACM
14 years 9 months ago
2007
ACM
XML database functionality has been emerging in "XML-only" databases as well as in the major relational database products. Yet, there is no industry standard XML databas...