3179 search results - page 99 / 636 » Applications of PCF Theory |
92
Voted
ICFP
2003
ACM
16 years 17 days 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
15 years 4 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
15 years 5 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...
83
Voted
ACL
2009
14 years 10 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...
105
click to vote
ICMCS
2009
IEEE
14 years 10 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...