1914 search results - page 345 / 383 » Abstract lambda-Calculus Machines |
235
Voted
MLDM
2005
Springer
16 years 27 days ago
2005
Springer
Abstract. In supervised learning, discretization of the continuous explanatory attributes enhances the accuracy of decision tree induction algorithms and naive Bayes classifier. M...
202
click to vote
PREMI
2005
Springer
16 years 27 days ago
2005
Springer
Abstract. Technological advances in experimental and computational molecular biology have revolutionized the whole fields of biology and medicine. Large-scale sequencing, expressio...
217
Voted
WAOA
2005
Springer
16 years 26 days ago
2005
Springer
Abstract. Many online problems encountered in real-life involve a twostage decision process: upon arrival of a new request, an irrevocable firststage decision (the assignment of a...
208
Voted
FMCAD
2004
Springer
16 years 24 days ago
2004
Springer
Abstract. We relate two well-studied methodologies in deductive verification of operationally modeled sequential programs, namely the use of inductive invariants and clock functio...
170
Voted
ICA3PP
2010
Springer
16 years 6 days ago
2010
Springer
Abstract. In this paper we report on the recent progress in computing bivariate polynomial resultants on Graphics Processing Units (GPU). Given two polynomials in Z[x, y], our algo...