SAS
1994
Springer
13 years 9 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
13 years 9 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
13 years 10 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
13 years 10 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
13 years 11 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
13 years 11 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
13 years 11 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
13 years 11 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...