SAS
1994
Springer
14 years 5 months ago
1994
Springer
We definea novelinference systemfor strictness andtotality analysisfor the simplytyped lazy lambda-calculus with constants and fixpoints. Strictness information identifies those t...
WAIM
2009
Springer
14 years 5 months ago
2009
Springer
Since the proposition of Journal Impact Factor [1] in 1963, the classical citation-based ranking scheme has been a standard criterion to rank journals and conferences. However, the...
ICDM
2002
IEEE
14 years 5 months ago
2002
IEEE
We empirically evaluate the performance of various reinforcement learning methods in applications to sequential targeted marketing. In particular, we propose and evaluate a progre...
ATAL
2004
Springer
14 years 6 months ago
2004
Springer
Spurred by a range of potential applications, there has been a growing body of research in computational models of human emotion. To advance the development of these models, it is...
NORDICHI
2006
ACM
14 years 6 months ago
2006
ACM
How do individual HCI-practitioners evaluate their own work practice? And how would they like to evaluate it? Answers to these questions will give new knowledge on the state-of-th...
ICALT
2007
IEEE
14 years 7 months ago
2007
IEEE
This paper describes how a knowledge model allows training software to evaluate spatial cognitive maps and provide tailored assistance.
ICPR
2008
IEEE
14 years 7 months ago
2008
IEEE
Several validity indices have been designed to evaluate solutions obtained by clustering algorithms. Traditional indices are generally designed to evaluate center-based clustering...
FCCM
2008
IEEE
14 years 7 months ago
2008
IEEE
This work proposes a set of requirements for programming emerging FPGA-based high performance computing systems, and uses them to evaluate a number of existing parallel programmin...