1205 search results - page 187 / 241 » Program Extraction from Large Proof Developments |
SOSP
1997
ACM
15 years 2 months ago
1997
ACM
Implementing new operating systems is tedious, costly, and often impractical except for large projects. The Flux OSKit addresses this problem in a novel way by providing clean, we...
143
click to vote
TMI
2010
14 years 11 months ago
2010
—Medical image registration is an important task in medical image processing. It refers to the process of aligning data sets, possibly from different modalities (e.g., magnetic r...
161
click to vote
DEBU
2010
15 years 1 months ago
2010
The proliferation of knowledge-sharing communities like Wikipedia and the advances in automated information extraction from Web pages enable the construction of large knowledge ba...
126
click to vote
PAMI
2010
14 years 11 months ago
2010
—The goal of this work is to develop statistical models for the shape change of a configuration of “landmark” points (key points of interest) over time and to use these mode...
127
click to vote
TOOLS
1999
IEEE
15 years 5 months ago
1999
IEEE
This paper reports on the utilisation of object technology in a university-level course on software development, specifically designed for distance learning, and now enrolling ove...