2132 search results - page 49 / 427 » The Challenges of Automatic Summarization |
VSTTE
2010
Springer
13 years 6 months ago
2010
Springer
A suite of verification benchmarks for software verification tools and techniques, presented at VSTTE 2008 [11], provides an initial catalogue of benchmark challenges for the Verif...
ICMCS
2007
IEEE
14 years 3 months ago
2007
IEEE
Today’s medical institutions produce enormous amounts of data on patients, including multimedia data, which is increasingly produced in digital form. These data in their clinica...
CIKM
2009
Springer
14 years 4 days ago
2009
Springer
Supporting semantic queries in relational databases is essential to many advanced applications. Recently, with the increasing use of ontology in various applications, the need for...
ICDE
2011
IEEE
13 years 16 days ago
2011
IEEE
—The danger of production or backup data becoming corrupted is a problem that database administrators dread. This position paper aims to bring this problem to the attention of th...
LPNMR
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. The paper presents INFOMIX a successful application of ASP technology to the domain of Data Integration. INFOMIX is a novel system which supports powerful information int...