4835 search results - page 783 / 967 » Refactoring Functional Programs |
87
Voted
DAC
2003
ACM
16 years 3 months ago
2003
ACM
Verification of system designs continues to be a major challenge today. Simulation remains the primary tool for making sure that implementations perform as they should. We present...
118
Voted
ICML
2007
IEEE
16 years 3 months ago
2007
IEEE
Many kernel learning methods have to assume parametric forms for the target kernel functions, which significantly limits the capability of kernels in fitting diverse patterns. Som...
109
Voted
ICML
2008
IEEE
16 years 3 months ago
2008
IEEE
Identifying the appropriate kernel function/matrix for a given dataset is essential to all kernel-based learning techniques. A variety of kernel learning algorithms have been prop...
111
Voted
ICML
2008
IEEE
16 years 3 months ago
2008
IEEE
The problem of obtaining the maximum a posteriori (map) estimate of a discrete random field is of fundamental importance in many areas of Computer Science. In this work, we build ...
122
Voted
SIGSOFT
2008
ACM
16 years 2 months ago
2008
ACM
In this paper, we explore the problems associated with exception handling from a new dimension: the human. We designed a study that evaluates (1) different perspectives of softwar...