1205 search results - page 91 / 241 » Program Extraction from Large Proof Developments |
123
Voted
ICCS
2001
Springer
15 years 6 months ago
2001
Springer
The Sisyphus-I initiative consists of a constraint satisfaction problem in which a group of people in a research environment must be allocated rooms. Numerous constraints are detai...
117
Voted
ICS
2000
Tsinghua U.
15 years 5 months ago
2000
Tsinghua U.
Processing and analyzing large volumes of data plays an increasingly important role in many domains of scienti c research. High-level language and compiler support for developing ...
113
Voted
HPDC
1996
IEEE
15 years 5 months ago
1996
IEEE
' The coming of giga-bit networks makes possible the realization ofa single nationwide virtual computer comprised of a variety of geographically distributed highpe6ormance mac...
213
Voted
ICDE
2000
IEEE
16 years 3 months ago
2000
IEEE
This paper describes the methodology and the software development of XWRAP, an XML-enabled wrapper construction system for semi-automatic generation of wrapper programs. By XML-ena...
132
click to vote
ACL
2010
14 years 11 months ago
2010
Graph-based semi-supervised learning (SSL) algorithms have been successfully used to extract class-instance pairs from large unstructured and structured text collections. However,...