1205 search results - page 145 / 241 » Program Extraction from Large Proof Developments |
176
click to vote
SIGMOD
2005
ACM
16 years 1 months ago
2005
ACM
There has been an information explosion in fields of science such as high energy physics, astronomy, environmental sciences and biology. There is a critical need for automated sys...
116
click to vote
POPL
2010
ACM
15 years 11 months ago
2010
ACM
Many large software systems originate from untyped scripting language code. While good for initial development, the lack of static type annotations can impact code-quality and per...
137
click to vote
EDBT
2010
ACM
14 years 11 months ago
2010
ACM
Spatial data are common in many scientific and commercial domains such as geographical information systems and gene/protein expression profiles. Querying for distribution patterns...
86
Voted
WWW
2005
ACM
16 years 2 months ago
2005
ACM
As an increasingly large number of OWL ontologies become available on the Semantic Web and the descriptions in the ontologies become more complicated, finding the cause of errors ...
141
click to vote
HIPC
1999
Springer
15 years 5 months ago
1999
Springer
Abstract. Recent times have seen an explosive growth in the availability of various kinds of data. It has resulted in an unprecedented opportunity to develop automated data-driven ...