Sciweavers

34 search results - page 3 / 7
» Cardinality, Counting, and Equinumerosity
Sort
View
ICDE
2008
IEEE
150views Database» more  ICDE 2008»
14 years 9 months ago
Diagnosing Estimation Errors in Page Counts Using Execution Feedback
Errors in estimating page counts can lead to poor choice of access methods and in turn to poor quality plans. Although there is past work in using execution feedback for accurate c...
Surajit Chaudhuri, Vivek R. Narasayya, Ravishankar...
JFP
2008
75views more  JFP 2008»
13 years 7 months ago
Exploiting reachability and cardinality in higher-order flow analysis
t two complementary improvements for abstract-interpretation-based flow analysis r-order languages: (1) abstract garbage collection and (2) abstract counting.1,2 garbage collecti...
Matthew Might, Olin Shivers
IJCAI
2007
13 years 9 months ago
Counting Complexity of Propositional Abduction
Abduction is an important method of non-monotonic reasoning with many applications in artificial intelligence and related topics. In this paper, we concentrate on propositional ab...
Miki Hermann, Reinhard Pichler
EUSFLAT
2007
118views Fuzzy Logic» more  EUSFLAT 2007»
13 years 9 months ago
A Less Cumulative Algorithm of Mining Linguistic Browsing Patterns in the World Wide Web
Finding sequential patterns is one of important issues in data mining. This paper deals with linguistic (fuzzy) sequential patterns. The existing algorithms for discovering such p...
Krzysztof Dyczkowski
AAAI
2008
13 years 10 months ago
A Reductive Semantics for Counting and Choice in Answer Set Programming
In a recent paper, Ferraris, Lee and Lifschitz conjectured that the concept of a stable model of a first-order formula can be used to treat some answer set programming expressions...
Joohyung Lee, Vladimir Lifschitz, Ravi Palla