3007 search results - page 157 / 602 » Linear Functional Fixed-points |
117
click to vote
ICWS
2003
IEEE
15 years 4 months ago
2003
IEEE
In this paper, we propose a method for automated web service composition by applying Linear Logic (LL) theorem proving. We distinguish value-added web services and core service by ...
WSCG
2003
15 years 4 months ago
2003
In the classical shading algorithm according to Phong, the normal is interpolated across the scanline, requiring a computationally expensive normalization in the inner loop. In th...
138
click to vote
ICASSP
2010
IEEE
15 years 3 months ago
2010
IEEE
This paper presents a novel algorithm for computing the relative motion between images from compressed linear measurements. We propose a geometry based correlation model that desc...
139
click to vote
AUTOMATICA
2007
15 years 3 months ago
2007
The recently proposed saturated adaptive robust controller is integrated with desired trajectory compensation to achieve global stability with9 much improved tracking performance....
CORR
2008
Springer
15 years 3 months ago
2008
Springer
We consider bandit problems involving a large (possibly infinite) collection of arms, in which the expected reward of each arm is a linear function of an r-dimensional random vect...