Sciweavers

3374 search results - page 110 / 675
» Explaining Similarity of Terms
Sort
View
CSDA
2006
304views more  CSDA 2006»
15 years 3 months ago
Using principal components for estimating logistic regression with high-dimensional multicollinear data
The logistic regression model is used to predict a binary response variable in terms of a set of explicative ones. The estimation of the model parameters is not too accurate and t...
Ana M. Aguilera, Manuel Escabias, Mariano J. Valde...
JMLR
2006
78views more  JMLR 2006»
15 years 3 months ago
Inductive Synthesis of Functional Programs: An Explanation Based Generalization Approach
We describe an approach to the inductive synthesis of recursive equations from input/outputexamples which is based on the classical two-step approach to induction of functional Li...
Emanuel Kitzelmann, Ute Schmid
121
Voted
JSW
2006
92views more  JSW 2006»
15 years 3 months ago
Design a Jini-based Service Broker for Dynamic Service Combination Framework
The increased use of electronic service has invented a new term Service-Oriented Architecture. In a typical distributed environment consisting of many independent devices and servi...
Kuo-Wei Hsu
CADE
2003
Springer
16 years 4 months ago
Canonization for Disjoint Unions of Theories
If there exist efficient procedures (canonizers) for reducing terms of two first-order theories to canonical form, can one use them to construct such a procedure for terms of the d...
Sava Krstic, Sylvain Conchon
94
Voted
ECAL
2005
Springer
15 years 9 months ago
Penrose Life: Ash and Oscillators
We compare the long term behaviour of Conway’s Game of Life cellular automaton, from initial random configurations, on a bounded rectangular grid and a bounded Penrose tiling gr...
Margaret Hill, Susan Stepney, Francis Wan