Sciweavers

6693 search results - page 15 / 1339
» Methods of Automatic Algorithm Generation
Sort
View
101
Voted
SAS
1994
Springer
15 years 7 months ago
Generating Transformers for Deforestation and Supercompilation
Abstract. Our aim is to study how the interpretive approach -- inserting an interpreter between a source program and a program specializer -- can be used to improve the transformat...
Robert Glück, Jesper Jørgensen
130
Voted
ACL
2007
15 years 5 months ago
Generating a Table-of-Contents
This paper presents a method for the automatic generation of a table-of-contents. This type of summary could serve as an effective navigation tool for accessing information in lon...
S. R. K. Branavan, Pawan Deshpande, Regina Barzila...
136
Voted
ACL
1994
15 years 5 months ago
An Automatic Treebank Conversion Algorithm for Corpus Sharing
An automatic treebank conversion method is proposed in this paper to convert a treebank into another treebank. A new treebank associated with a different grammar can be generated ...
Jong-Nae Wang, Jing-Shin Chang, Keh-Yih Su
98
Voted
SAS
2004
Springer
110views Formal Methods» more  SAS 2004»
15 years 9 months ago
An Abstract Interpretation Approach for Automatic Generation of Polynomial Invariants
Enric Rodríguez-Carbonell, Deepak Kapur
135
Voted
ICDM
2005
IEEE
185views Data Mining» more  ICDM 2005»
15 years 9 months ago
Semi-Supervised Mixture of Kernels via LPBoost Methods
We propose an algorithm to construct classification models with a mixture of kernels from labeled and unlabeled data. The derived classifier is a mixture of models, each based o...
Jinbo Bi, Glenn Fung, Murat Dundar, R. Bharat Rao