9405 search results - page 38 / 1881 » Computing a Model of Set Theory |
148
Voted
KDD
2007
ACM
16 years 3 months ago
2007
ACM
The discovery of subsets with special properties from binary data has been one of the key themes in pattern discovery. Pattern classes such as frequent itemsets stress the co-occu...
118
Voted
SODA
2004
ACM
15 years 4 months ago
2004
ACM
We study algorithmic questions concerning a basic microeconomic congestion game in which there is a single provider that offers a service to a set of potential customers. Each cus...
138
Voted
IJBC
2008
15 years 2 months ago
2008
The localization of critical parameter sets called bifurcations is often a central task of the analysis of a nonlinear dynamical system. Bifurcations of codimension 1 that can be ...
141
Voted
VSTTE
2012
Springer
13 years 10 months ago
2012
Springer
Motivated by the problem of deciding verification conditions for the verification of functional programs, we present new decision procedures for automated reasoning about functio...
166
Voted
ISCI
2008
15 years 2 months ago
2008
Rough set theory can be applied to rule induction. There are two different types of classification rules, positive and boundary rules, leading to different decisions and consequen...