5550 search results - page 1003 / 1110 » Different Approaches to Proof Systems |
180
click to vote
COMAD
2008
15 years 8 months ago
2008
In data stream processing systems, Quality of Service (or QoS) requirements, as specified by users, are extremely important. Unlike in a database management system (DBMS), a query...
195
click to vote
TREC
2008
15 years 8 months ago
2008
This paper describes our participation in the 2008 TREC Blog track. Our system consists of 3 components: data preprocessing, topic retrieval, and opinion finding. In the topic ret...
150
click to vote
WIESS
2000
15 years 7 months ago
2000
As IPC mechanisms become faster, stub-code efficiency becomes a performance issue for local client/server RPCs and inter-component communication. Inefficient and unnecessary compl...
187
click to vote
CIDR
2009
15 years 7 months ago
2009
The traditional architecture for a DBMS engine has the recovery, concurrency control and access method code tightly bound together in a storage engine for records. We propose a di...
206
click to vote
SIGMOD
2010
ACM
15 years 6 months ago
2010
ACM
Automated extraction of structured data from Web sources often leads to large heterogeneous knowledge bases (KB), with data and schema items numbering in the hundreds of thousands...