3179 search results - page 360 / 636 » Applications of PCF Theory |
CIKM
2010
Springer
13 years 8 months ago
2010
Springer
Current recommendation methods are mainly classified into contentbased, collaborative filtering and hybrid methods. These methods are based on similarity measurements among item...
IJAR
2010
13 years 8 months ago
2010
Granular Computing is an emerging conceptual and computing paradigm of information processing. A central notion is an information-processing pyramid with different levels of clari...
JAR
2010
13 years 8 months ago
2010
Many theorems involving special functions such as ln, exp and sin can be proved automatically by MetiTarski: a resolution theorem prover modified to call a decision procedure for ...
LICS
2010
IEEE
13 years 8 months ago
2010
IEEE
—There are two usual ways to describe equality in a dependent typing system, one that uses an external notion of computation like beta-reduction, and one that introduces a typed ...
MA
2010
Springer
13 years 8 months ago
2010
Springer
The paper reconsiders the autoregressive aided periodogram bootstrap (AAPB) which has been suggested in Kreiß and Paparoditis (2003). Their idea was to combine a time domain param...