12084 search results - page 29 / 2417 » Effect Systems with Subtyping |
HT
1999
ACM
14 years 1 days ago
1999
ACM
When the utility of a hypertext system depends on the number of users and amount of data in the system, the system exhibits network effects. This paper examines how the core diffe...
ICPR
2000
IEEE
14 years 3 days ago
2000
IEEE
In the field of pattern recognition, multiple classifier systems based on the combination of outputs of a set of different classifiers have been proposed as a method for the devel...
CHI
2007
ACM
14 years 8 months ago
2007
ACM
CADE
2008
Springer
14 years 8 months ago
2008
Springer
We consider proof systems for effectively propositional logic. First, we show that propositional resolution for effectively propositional logic may have exponentially longer refuta...
CORR
2008
Springer
2008
Springer
On the Effects of Idiotypic Interactions for Recommendation Communities in Artificial Immune Systems
13 years 7 months ago
It has previously been shown that a recommender based on immune system idiotypic principles can outperform one based on correlation alone. This paper reports the results of work i...