1116 search results - page 205 / 224 » Applying Predicate Abstraction to Abstract State Machines |
107
click to vote
MLDM
2005
Springer
15 years 4 months 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...
71
Voted
CEC
2010
IEEE
15 years 5 days ago
2010
IEEE
Abstract-- Exploring microRNA (miRNA) and mRNA regulatory interactions may give new insights into diverse biological phenomena. While elucidating complex miRNA-mRNA interactions ha...
118
click to vote
KDD
2005
ACM
15 years 11 months ago
2005
ACM
Abstract. With the amount of available information on the Web growing rapidly with each day, the need to automatically filter the information in order to ensure greater user effici...
74
Voted
ICA3PP
2010
Springer
15 years 3 months 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...
LISA
1994
15 years 11 days ago
1994
Managing large scale UNIX networks so that users can use resources on multiple systems is traditionally performed using NIS, NFS, and DNS. Proper use of these tools requires exact...