1128 search results - page 108 / 226 » Little Engines of Proof |
LREC
2010
15 years 2 months ago
2010
For many languages there are no large, general-language corpora available. Until the web, all but the richest institutions could do little but shake their heads in dismay as corpu...
112
Voted
WICSA
2008
15 years 2 months ago
2008
During the last years, Intelligent Virtual Environments for Training have become a quite popular application of computer science to education. However, little attention is being p...
87
Voted
ECIS
2000
15 years 2 months ago
2000
Little research has been conducted to date on the specific topic of the tailoring of systems development methods. Two related research areas--contingency factors research and metho...
114
Voted
IJCAI
1989
15 years 1 months ago
1989
Existing explanation facilities are typically far more appropriate for knowledge engineers engaged in system maintenance than for endusers of the system. This is because the expla...
95
Voted
GECCO
2008
Springer
15 years 1 months ago
2008
Springer
There has been little attention to search based test data generation in the presence of pointer inputs and dynamic data structures, an area in which recent concolic methods have e...