6348 search results - page 848 / 1270 » A Lesson for Software Engineering from Knowledge Engineering |
248
click to vote
ITICSE
2004
ACM
16 years 6 days ago
2004
ACM
Final year, group (capstone) projects in computing disciplines are often expected to fill multiple roles: in addition to allowing students to learn important domain-specific knowl...
180
click to vote
TASLP
2010
15 years 1 months ago
2010
To solve the knowledge bottleneck problem, active learning has been widely used for its ability to automatically select the most informative unlabeled examples for human annotation...
210
click to vote
IJHPCA
2011
15 years 1 months ago
2011
Over the last twenty years, the open source community has provided more and more software on which the world’s High Performance Computing (HPC) systems depend for performance ...
185
click to vote
MSR
2005
ACM
16 years 10 days ago
2005
ACM
This paper introduces a collaborative project OSSmole which collects, shares, and stores comparable data and analyses of free, libre and open source software (FLOSS) development f...
175
click to vote
VSTTE
2005
Springer
16 years 7 days ago
2005
Springer
How close are we to a world in which mechanically verified software is commonplace? A world in which theorem proving technology is used routinely by both software developers and p...