1696 search results - page 221 / 340 » Permuted function matching |
147
click to vote
IJIT
2004
15 years 4 months ago
2004
In this paper, we consider nested sliding mode control of SISO nonlinear systems, perturbed by bounded matched and unmatched uncertainties. The systems are assumed to be in strictf...
126
click to vote
SODA
1998
ACM
15 years 4 months ago
1998
ACM
We develop data structures for dynamic closest pair problems with arbitrary (not necessarily geometric) distance functions, based on a technique previously used by the author for ...
139
click to vote
AAECC
2010
Springer
15 years 3 months ago
2010
Springer
Abstract Narrowing extends rewriting with logic capabilities by allowing logic variables in terms and by replacing matching with unification. Narrowing has been widely used in diff...
129
click to vote
CGF
2008
15 years 3 months ago
2008
In this paper we propose a new kind of Hermite interpolation on arbitrary domains, matching derivative data of arbitrary order on the boundary. The basic idea stems from an interp...
110
click to vote
ENTCS
2008
15 years 3 months ago
2008
This paper presents a game semantics for a simply-typed -calculus equipped with quantum stores. The quantum stores are equipped with quantum operations as commands which give the ...