1128 search results - page 132 / 226 » Classical Natural Deduction |
95
Voted
ECML
2001
Springer
15 years 5 months ago
2001
Springer
We present a powerful meta-clustering technique called Iterative Double Clustering (IDC). The IDC method is a natural extension of the recent Double Clustering (DC) method of Slon...
134
click to vote
COLT
2000
Springer
15 years 5 months ago
2000
Springer
We describe a novel family of PAC model algorithms for learning linear threshold functions. The new algorithms work by boosting a simple weak learner and exhibit complexity bounds...
107
Voted
INFOCOM
1996
IEEE
15 years 5 months ago
1996
IEEE
A number of proposals for supporting IP over ATM are under discussion in the networking community including: LAN emulation, classical IP over ATM, routing over large clouds, and m...
104
Voted
ATVA
2006
Springer
15 years 4 months ago
2006
Springer
In synthesis we construct finite state systems from temporal specifications. While this problem is well understood in the classical setting of non-probabilistic synthesis, this pap...
93
Voted
FINTAL
2006
15 years 4 months ago
2006
In this article, we are studying the differences between the European languages using statistical and unsupervised methods. The analysis is conducted in different levels of languag...