427 search results - page 69 / 86 » Inductive reasoning about effectful data types |
PEPM
1994
ACM
13 years 11 months ago
1994
ACM
Abstract. Selective eta-expansion is a powerful "binding-time improvement", i.e., a sourceprogram modification that makes a partial evaluator yield better results. But li...
MISQ
2000
13 years 7 months ago
2000
This research considers whether interpretive techniques can be used to enhance our understanding of computer-mediated discussions. The case study considered in this research is th...
AUSAI
2003
Springer
14 years 21 days ago
2003
Springer
An important task in machine learning is determining which learning algorithm works best for a given data set. When the amount of data is small the same data needs to be used repea...
BIBE
2006
IEEE
14 years 1 months ago
2006
IEEE
We show how chemical background knowledge can be used to improve the prediction performance in structureactivitity relationships (SARs) for non-congeneric compounds. The goal of t...
ACCV
2010
Springer
13 years 2 months ago
2010
Springer
Abstract. In set-based face recognition, each set of face images is often represented as a linear/nonlinear manifold and the Principal Angles (PA) or Kernel PAs are exploited to me...