1205 search results - page 47 / 241 » Program Extraction from Large Proof Developments |
FGR
2004
IEEE
14 years 2 months ago
2004
IEEE
We develop a new model-based extraction process guided by biomechanical analysis for walking people, and analyse its data for recognition capability. Hierarchies of shape and moti...
ECOOP
2005
Springer
14 years 4 months ago
2005
Springer
Abstract. Integrated development environments have been designed and engineered to display structural information about the source code of large systems. When a development task li...
SIGMOD
2002
ACM
14 years 11 months ago
2002
ACM
As WWW becomes more and more popular and powerful, how to search information on the web in database way becomes an important research topic. COMMIX, which is developed in the DB g...
CVPR
2001
IEEE
15 years 1 months ago
2001
IEEE
We present a system for modeling buildings from a single correlation-based Digital Elevation Model (DEM). The model is constructed in two stages. The first stage segments the DEM ...
ICADL
2007
Springer
14 years 5 months ago
2007
Springer
This paper describes our efforts to develop a toolset and process for automated metadata extraction from large, diverse, and evolving document collections. A number of federal agen...