2452 search results - page 181 / 491 » The Case for Precision Sharing |
299
Voted
ICDE
2005
IEEE
16 years 8 months ago
2005
IEEE
Recently, progress indicators have been proposed for long-running SQL queries in RDBMSs. Although the proposed techniques work well for a subset of SQL queries, they are prelimina...
163
Voted
WWW
2007
ACM
16 years 8 months ago
2007
ACM
In this paper we extend the state-of-the-art in utilizing background knowledge for supervised classification by exploiting the semantic relationships between terms explicated in O...
204
Voted
WWW
2004
ACM
16 years 8 months ago
2004
ACM
A Web Application must have a precise semantics. In currently Web Engineering environments, this can be achieved either by specifying a Web Conceptual Schema, or by using a Semant...
198
Voted
CADE
2009
Springer
16 years 8 months ago
2009
Springer
This paper is concerned with the problem of checking whether a given subset of an unsatisfiable Boolean CNF formula takes part in the basic causes of the inconsistency of . More ...
186
Voted
STOC
2002
ACM
16 years 7 months ago
2002
ACM
This paper considers the problem of dualizing a monotone CNF (equivalently, computing all minimal transversals of a hypergraph), whose associated decision problem is a prominent o...