777 search results - page 109 / 156 » Declarative Data Cleaning: Language, Model, and Algorithms |
TACAS
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. We present a tool for the formal verification of ANSI-C programs using Bounded Model Checking (BMC). The emphasis is on usability: the tool supports almost all ANSI-C la...
EMNLP
2009
13 years 5 months ago
2009
This paper addresses the issue of extracting contexts and answers of questions from post discussion of online forums. We propose a novel and unified model by customizing the struc...
CIKM
2009
Springer
14 years 8 days ago
2009
Springer
Biomedical images and captions are one of the major sources of information in online biomedical publications. They often contain the most important results to be reported, and pro...
ICALP
2009
Springer
14 years 8 months ago
2009
Springer
We initiate the study of sublinear-time algorithms in the external memory model [14]. In this model, the data is stored in blocks of a certain size B, and the algorithm is charged...
ACL
2007
13 years 9 months ago
2007
Over the last few years, two of the main research directions in machine learning of natural language processing have been the study of semi-supervised learning algorithms as a way...