1205 search results - page 27 / 241 » Program Extraction from Large Proof Developments |
GISCIENCE
2010
Springer
14 years 23 hour ago
2010
Springer
Researchers from the cognitive and spatial sciences are studying text descriptions of movement patterns in order to examine how humans communicate and understand spatial informatio...
ACL
1992
14 years 3 days ago
1992
For a very long time, it has been considered that the only way of automatically extracting similar groups of words from a text collection for which no semantic information exists ...
CVPR
2006
IEEE
15 years 29 days ago
2006
IEEE
Image segmentation and its performance evaluation are very difficult but important problems in computer vision. A major challenge in segmentation evaluation comes from the fundame...
WCRE
1996
IEEE
14 years 3 months ago
1996
IEEE
The extraction of reusable software components from existing systems is an attractive idea. The goal of the work in this paper is not to extract a component automatically, but to ...
CSMR
2000
IEEE
14 years 3 months ago
2000
IEEE
An alternative approach to developing reusable components from scratch is to recover them from existing systems. Although numerous techniques have been proposed to recover reusabl...