3179 search results - page 99 / 636 » Applications of PCF Theory |
ICFP
2003
ACM
14 years 8 months ago
2003
ACM
We report on work in progress regarding a foundation for the notion of meta-variable in logical frameworks and type theories. Our proposal is to treat meta-variables as modal varia...
TABLEAUX
1998
Springer
14 years 1 months ago
1998
Springer
Abstract. Set theory is the common language of mathematics. Therefore, set theory plays an important r^ole in many important applications of automated deduction. In this paper, we ...
HICSS
2003
IEEE
14 years 2 months ago
2003
IEEE
This study examines the potential applications of the Rational Expectations Hypothesis (REH) in information technology (IT) investment and adoption decisionmaking. Although REH ha...
ACL
2009
13 years 6 months ago
2009
This paper studies transliteration alignment, its evaluation metrics and applications. We propose a new evaluation metric, alignment entropy, grounded on the information theory, t...
ICMCS
2009
IEEE
13 years 6 months ago
2009
IEEE
Content fingerprinting provides a compact content-based representation of a multimedia document. An important application of fingerprinting is the identification of modified copie...