Sciweavers

665 search results - page 56 / 133
» Contrast in concept-to-speech generation
Sort
View
PAKDD
2005
ACM
128views Data Mining» more  PAKDD 2005»
15 years 4 months ago
A Framework for Incorporating Class Priors into Discriminative Classification
Abstract. Discriminative and generative methods provide two distinct approaches to machine learning classification. One advantage of generative approaches is that they naturally mo...
Rong Jin, Yi Liu
SAS
2005
Springer
118views Formal Methods» more  SAS 2005»
15 years 4 months ago
Inference of Well-Typings for Logic Programs with Application to Termination Analysis
A method is developed to infer a polymorphic well-typing for a logic program. Our motivation is to improve the automation of termination analysis by deriving types from which norms...
Maurice Bruynooghe, John P. Gallagher, Wouter Van ...
CGI
2003
IEEE
15 years 4 months ago
Modeling lobed leaves
In contrast to the extensively researched modeling of plant architecture, the modeling of plant organs largely remains an open problem. In this paper, we propose a method for mode...
Lars Mündermann, Peter MacMurchy, Juraj Pivov...
LCPC
1999
Springer
15 years 3 months ago
Compiling for Speculative Architectures
The traditional target machine of a parallelizing compiler can execute code sections either serially or in parallel. In contrast, targeting the generated code to a speculative para...
Seon Wook Kim, Rudolf Eigenmann
CAISE
1997
Springer
15 years 2 months ago
OO-METHOD: An OO Software Production Environment Combining Conventional and Formal Methods
OO-Method is an OO Methodology that blends the use of formal specification systems with conventional OO methodologies based on practice. In contrast to other approaches in this fi...
Oscar Pastor, Emilio Insfrán, Vicente Pelec...