6693 search results - page 137 / 1339 » Methods of Automatic Algorithm Generation |
149
click to vote
FASE
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We present a new method for automatic generation of loop invariants for programs containing arrays. Unlike all previously known methods, our method allows one to generate...
142
Voted
EDM
2009
15 years 2 months ago
2009
This paper presents several methods to automatically detecting students' mental models in MetaTutor, an intelligent tutoring system that teaches students self-regulatory proce...
143
click to vote
ISBI
2004
IEEE
16 years 5 months ago
2004
IEEE
Point Distribution Modelling (PDM) is an efficient generative technique that can be used to incorporate statistical shape priors into image analysis methods like Active Shape Mode...
210
click to vote
BMCBI
2007
15 years 4 months ago
2007
Background: Current methods for the automated generation of genome-scale metabolic networks focus on genome annotation and preliminary biochemical reaction network assembly, but d...
141
click to vote
NAACL
2003
15 years 6 months ago
2003
This paper describes an unsupervised algorithm for placing unknown words into a taxonomy and evaluates its accuracy on a large and varied sample of words. The algorithm works by ï...