2940 search results - page 6 / 588 » Relational Parametricity and Control |
CAGD
2006
14 years 9 months ago
2006
We consider parametric curves that are represented by combination of control points and basis functions. We let a control point vary while the rest is held fixed. We show that the...
85
Voted
ENTCS
2006
14 years 9 months ago
2006
We present a formalization of a version of Abadi and Plotkin's logic for parametricity for a polymorphic dual intuitionistic / linear type theory with fixed points, and show,...
ICCS
2003
Springer
15 years 2 months ago
2003
Springer
: We present a maple-package SyNRAC for solving real algebraic constraints aiming to realize a robust parametric control toolbox on MATLAB. Our main tool is real quantifier elimin...
59
Voted
ISCAS
2005
IEEE
15 years 3 months ago
2005
IEEE
—The method of resonant parametric perturbation is a simple non-feedback chaos control method which is easy to implement in practice. In this paper, an optimal strategy is applie...
GMP
2006
IEEE
15 years 3 months ago
2006
IEEE
Abstract. Low-discrepancy point distributions exhibit excellent uniformity properties for sampling in applications such as rendering and measurement. We present an algorithm for ge...