Sciweavers

2119 search results - page 156 / 424
» Structure-Preserving Model Reduction
Sort
View
FPCA
1995
15 years 6 months ago
Once Upon a Type
A number of useful optimisations are enabled if we can determine when a value is accessed at most once. We extend the Hindley-Milner type system with uses, yielding a typeinferenc...
David N. Turner, Philip Wadler, Christian Mossin
149
Voted
NIPS
2004
15 years 4 months ago
Kernel Projection Machine: a New Tool for Pattern Recognition
This paper investigates the effect of Kernel Principal Component Analysis (KPCA) within the classification framework, essentially the regularization properties of this dimensional...
Laurent Zwald, Régis Vert, Gilles Blanchard...
WCE
2007
15 years 4 months ago
Optimizing Designs based on Risk Approach
— In this paper a new approach to optimize nuclear power plant designs based on global risk reduction are described. In design the focus is on as components quality as redundancy...
Jorge E. Núñez Mc Leod, Selva S. Riv...
GG
2008
Springer
15 years 4 months ago
A Decentralized Implementation of Mobile Ambients
We present a graphical implementation for finite processes of the mobile ambients calculus. Our encoding uses unstructured (i.e., non hierarchical) graphs and it is sound and comp...
Fabio Gadducci, Giacoma Valentina Monreale
118
Voted
ICIRA
2010
Springer
115views Robotics» more  ICIRA 2010»
15 years 1 months ago
A Resistance Compensation Control Algorithm for a Cable-Driven Hand Exoskeleton for Motor Function Rehabilitation
The resistance compensation, especially the friction compensation in the Bowden cable transmission is a difficult issue to be handled. Aimed to the resistance reduction requirement...
Shuang Wang, Jiting Li, Ruoyin Zheng