5578 search results - page 581 / 1116 » Base Class Injection |
184
click to vote
APAL
2007
15 years 7 months ago
2007
In this paper we consider a type system with a universal type ω where any term (whether open or closed, β-normalising or not) has type ω. We provide this type system with a rea...
159
click to vote
AUTOMATICA
2008
15 years 7 months ago
2008
In this paper, the identification of a class of nonlinear systems which admits input-output maps described by a finite degree Volterra series is considered. In actual fact, it app...
153
click to vote
BC
2007
15 years 7 months ago
2007
Correlation measures are important tools for the analysis of simultaneously recorded spike trains. A well-known measure with probabilistic interpretation is the cross-intensity fun...
191
click to vote
BMCBI
2007
15 years 7 months ago
2007
Background: Network methods are increasingly used to represent the interactions of genes and/ or proteins. Genes or proteins that are directly linked may have a similar biological...
185
click to vote
CAD
2010
Springer
15 years 7 months ago
2010
Springer
We present a new constructive solving approach for systems of 3D geometric constraints. The solver is based on the cluster rewriting approach, which can efficiently solve large sy...