1209 search results - page 68 / 242 » Approximation by pseudo-linear operators |
134
click to vote
AMAST
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. This paper proposes a tool to support reasoning about (partial) correctness of constraint logic programs. The tool infers a speci cation that approximates the semantics o...
127
click to vote
NIPS
2003
15 years 5 months ago
2003
Recent developments in grid-based and point-based approximation algorithms for POMDPs have greatly improved the tractability of POMDP planning. These approaches operate on sets of...
123
click to vote
ICASSP
2010
IEEE
15 years 4 months ago
2010
IEEE
In this work, we present a general method for approximating nonlinear transformations of Gaussian mixture random variables. It is based on transforming the individual Gaussians wi...
114
click to vote
AROBOTS
2007
15 years 4 months ago
2007
In this paper, we describe a prototype interface that facilitates the control of a mobile robot team by a single operator, using a sketch interface on a Tablet PC. The user draws a...
111
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
The floating-point implementation of a function often reduces to a polynomial approximation on an interval. Remez algorithm provides the polynomial closest to the function, but th...