1205 search results - page 134 / 241 » Program Extraction from Large Proof Developments |
114
click to vote
JMLR
2006
15 years 1 months ago
2006
The fields of machine learning and mathematical programming are increasingly intertwined. Optimization problems lie at the heart of most machine learning approaches. The Special T...
109
click to vote
CORR
2011
Springer
14 years 8 months ago
2011
Springer
We provide an overall description of the Ciao multiparadigm programming system emphasizing some of the novel aspects and motivations behind its design and implementation. An impor...
119
click to vote
TOIS
2008
15 years 1 months ago
2008
Many valuable text databases on the web have non-crawlable contents that are "hidden" behind search interfaces. Metasearchers are helpful tools for searching over multip...
137
Voted
GI
1998
Springer
15 years 5 months ago
1998
Springer
"KnowledgeMiner" was designed to support the knowledge extraction process on a highly automated level. Implemented are 3 different GMDH-type self-organizing modeling algo...
119
click to vote
ISVC
2009
Springer
15 years 8 months ago
2009
Springer
We developed a GPU-based volume ray casting system for rendering multiple arbitrarily overlapping multi-resolution volume data sets. Our efficient volume virtualization scheme is b...