3995 search results - page 62 / 799 » Linearization of hybrid processes |
152
click to vote
FOSSACS
2012
Springer
13 years 11 months ago
2012
Springer
We study type-directed encodings of the simply-typed λ-calculus in a session-typed π-calculus. The translations proceed in two steps: standard embeddings of simply-typed λ-calcu...
149
Voted
MICCAI
2004
Springer
16 years 4 months ago
2004
Springer
Abstract. A new hybrid of feature-based and intensity-based registration is presented. The algorithm reflects a new understanding of the role of alignment error in the generation o...
106
Voted
HYBRID
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. In this paper we show how hybrid control and modeling techniques can be put to work for solving a problem of industrial relevance in Surface Mount Technology (SMT) manufa...
132
Voted
IJCAI
2007
15 years 5 months ago
2007
Markov Decision Processes are a powerful framework for planning under uncertainty, but current algorithms have difficulties scaling to large problems. We present a novel probabil...
105
Voted
ICIP
2004
IEEE
16 years 5 months ago
2004
IEEE
We propose a new model for zooming digital image. This model, driven by a partial differential equation, will balance between linear zooming on homogenous zones to anisotropic dif...