3172 search results - page 207 / 635 » On the Random-Self-Reducibility of Complete Sets |
150
click to vote
WWW
2003
ACM
16 years 7 months ago
2003
ACM
This paper introduces a framework for modeling and specifying the global behavior of e-service compositions. Under this framework, peers (individual e-services) communicate throug...
171
click to vote
KDD
2004
ACM
16 years 7 months ago
2004
ACM
This paper introduces support envelopes--a new tool for analyzing association patterns--and illustrates some of their properties, applications, and possible extensions. Specifical...
189
click to vote
ALT
2001
Springer
16 years 3 months ago
2001
Springer
The main question addressed in the present work is how to find effectively a recursive function separating two sets drawn arbitrarily from a given collection of disjoint sets. I...
220
click to vote
ICTAI
2007
IEEE
16 years 26 days ago
2007
IEEE
We review a method of generating logical rules, or axioms, from empirical data. This method, using closed set properties of formal concept analysis, has been previously described ...
176
click to vote
RTA
2005
Springer
16 years 1 days ago
2005
Springer
We present constructive arithmetic in Deduction modulo with rewrite rules only. In natural deduction and in sequent calculus, the cut elimination theorem and the analysis of the st...