12841 search results - page 365 / 2569 » PL-detective: experiences and results |
149
click to vote
ISPA
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. There exist numerous algorithms that cluster data-points from largescale genomic experiments such as sequencing, gene-expression and proteomics. Such algorithms may emplo...
201
click to vote
MICAI
2005
Springer
16 years 9 days ago
2005
Springer
We propose a novel, high-level model of human learning and cognition, based on association forming. The model configures any input data stream featuring a high incidence of repeti...
206
click to vote
OTM
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. Searching specialized collections, such as biomedical literature, typically requires intimate knowledge of a specialized terminology. Hence, it can be a disappointing exp...
155
click to vote
SAS
2005
Springer
16 years 9 days ago
2005
Springer
A method is developed to infer a polymorphic well-typing for a logic program. Our motivation is to improve the automation of termination analysis by deriving types from which norms...
173
click to vote
ITICSE
2004
ACM
16 years 7 days ago
2004
ACM
Learning to program is a unique experience for each student, and it is not fully understood why one person in an introductory programming course learns to program better and more ...