10594 search results - page 1834 / 2119 » Learning classifier systems |
210
click to vote
KBS
2006
2006
Facilitating formal specification acquisition by using recursive functions on context-free languages
15 years 6 months ago
Although formal specification techniques are very useful in software development, the acquisition of formal specification is a difficult task. This paper presents the formal softw...
198
click to vote
PRL
2008
15 years 6 months ago
2008
The purpose of extractive summarization is to automatically select a number of indicative sentences, passages, or paragraphs from the original document according to a target summa...
153
click to vote
PSYCHNOLOGY
2006
15 years 6 months ago
2006
The transformation from film-based to filmless operations has become more and more challenging as medical imaging studies expand in size and complexity. To adapt to these changes ...
178
click to vote
SIGCSE
2008
ACM
15 years 6 months ago
2008
ACM
: Student perceptions of the educational experiences that are provided to them at tertiary institutions do not necessarily match the perceptions of the academics who provide these ...
132
click to vote
SIGIR
2008
ACM
15 years 6 months ago
2008
ACM
There has been recent interest in collecting user or assessor preferences, rather than absolute judgments of relevance, for the evaluation or learning of ranking algorithms. Since...