Sciweavers

2636 search results - page 121 / 528
» Linear Programming
Sort
View
GECCO
1999
Springer
103views Optimization» more  GECCO 1999»
15 years 2 months ago
Homologous Crossover in Genetic Programming
In recent years, the genetic programming crossover operator has been criticized on both theoretical and empirical grounds. This paper introduces a new crossover operator for linea...
Frank D. Francone, Markus Conrads, Wolfgang Banzha...
JMLR
2012
13 years 13 days ago
Metric and Kernel Learning Using a Linear Transformation
Metric and kernel learning arise in several machine learning applications. However, most existing metric learning algorithms are limited to learning metrics over low-dimensional d...
Prateek Jain, Brian Kulis, Jason V. Davis, Inderji...
CMPB
2002
90views more  CMPB 2002»
14 years 9 months ago
Bivariate linear mixed models using SAS proc MIXED
Bivariate linear mixed models are useful when analyzing longitudinal data of two associated markers. In this paper, we present a bivariate linear mixed model including random effe...
Rodolphe Thiébaut, Hélène Jac...
CORR
2004
Springer
85views Education» more  CORR 2004»
14 years 9 months ago
A correct, precise and efficient integration of set-sharing, freeness and linearity for the analysis of finite and rational tree
It is well-known that freeness and linearity information positively interact with aliasing information, allowing both the precision and the efficiency of the sharing analysis of l...
Patricia M. Hill, Enea Zaffanella, Roberto Bagnara
FOSSACS
2011
Springer
14 years 1 months ago
A Practical Linear Time Algorithm for Trivial Automata Model Checking of Higher-Order Recursion Schemes
The model checking of higher-order recursion schemes has been actively studied and is now becoming a basis of higher-order program verification. We propose a new algorithm for tri...
Naoki Kobayashi