2940 search results - page 14 / 588 » Relational Parametricity and Control |
CDC
2010
IEEE
14 years 4 months ago
2010
IEEE
In the identification of nonlinear dynamical models it may happen that not only the system dynamics have to be modeled but also the noise has a dynamic character. We show how to ad...
105
click to vote
DEFORM
2000
14 years 11 months ago
2000
The ball-and-socket joint model is used to represent articulations with three rotational degrees of freedom (DOF), such as the human shoulder and the hip. The goal of this paper i...
FOSSACS
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. We present a realizability model for a call-by-value, higherorder programming language with parametric polymorphism, general first-class references, and recursive types....
AAECC
2007
Springer
14 years 9 months ago
2007
Springer
We discuss parametrizations of filter coefficients of scaling functions and compactly supported orthonormal wavelets with several vanishing moments. We introduce the first discr...
67
Voted
ICPR
2006
IEEE
15 years 10 months ago
2006
IEEE
When objects are recognized by using multiple cameras, recognition rates strongly depend on the camera arrangement. In this paper, we propose a new method for planning a multiple ...