1075 search results - page 108 / 215 » Toward a Verified Relational Database Management System |
SPIESR
1996
13 years 10 months ago
1996
Two approaches for integrating images into the framework of a database management system are presented. The classi cation approach preprocesses all images and attaches a semantic ...
CIDR
2011
13 years 13 days ago
2011
Amazon’s Mechanical Turk (“MTurk”) service allows users to post short tasks (“HITs”) that other users can receive a small amount of money for completing. Common tasks on...
ISSRE
2002
IEEE
14 years 1 months ago
2002
IEEE
An important aspect of developing models relating the number and type of faults in a software system to a set of structural measurement is defining what constitutes a fault. By de...
KDD
2009
ACM
14 years 3 months ago
2009
ACM
Data mining techniques have become central to many applications. Most of those applications rely on so called supervised learning algorithms, which learn from given examples in th...
SIGMOD
2012
ACM
11 years 11 months ago
2012
ACM
How-To queries answer fundamental data analysis questions of the form: “How should the input change in order to achieve the desired output”. As a Reverse Data Management probl...