6833 search results - page 167 / 1367 » Some two-character sets |
131
click to vote
CSL
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We prove "untyping" theorems: in some typed theories (semirings, Kleene algebras, residuated lattices, involutive residuated lattices), typed equations can be d...
112
click to vote
EOR
2006
15 years 4 months ago
2006
We used the so-called deterministic annealing algorithm due to Rose and Gurewitz by the classification of patent documents. A C++ program based on this algorithm was run first on s...
125
click to vote
JDWM
2008
15 years 4 months ago
2008
The PAKDD Competition 2007 involved the problem of predicting customers'propensity to take up a home loanwhenacollectionofdatafromcreditcardusersareprovided.Itisratherdifficu...
JCT
2006
15 years 4 months ago
2006
Let W be a finite or an affine Coxeter group and Wc the set of all the fully commutative elements in W. For any left cell L of W containing some fully commutative element, our main...
142
Voted
IPM
2007
15 years 4 months ago
2007
This papers studies a special “small” information retrieval problem where user satisfaction only depends on the ordering of documents. We look for a retrieval performance meas...