10435 search results - page 167 / 2087 » Measuring system normality |
MFCS
2010
Springer
13 years 7 months ago
2010
Springer
We provide a strong normalization result for MLF , a type system generalizing ML with first-class polymorphism as in system F. The proof is achieved by translating MLF into a calc...
LICS
1997
IEEE
14 years 19 days ago
1997
IEEE
We present a game-theoretic model of the polymorphic -calculus, system F, as a fibred category. Every morphism of the model defines an -expanded, -normal form ^ of system F whose...
IPMI
1997
Springer
14 years 10 months ago
1997
Springer
Abstract: Neuroanatomical and neurofunctional studies are often referenced to a high resolution MR brain dataset. To allow intersubject comparisons of cortical structures, one need...
AMC
2007
13 years 9 months ago
2007
An alternative proof for the explicit equations of motion for mechanical systems with independent non-ideal constraints is proposed in this paper. These equations are derived with...
ROBIO
2006
IEEE
14 years 3 months ago
2006
IEEE
Abstract - Parallel robots provide high stiffness, accelerations and accuracy. They are relatively complex products that are specialized to a specific problem. Normally a new robot...