11168 search results - page 205 / 2234 » Abstract State Processes |
167
click to vote
TOOLS
2008
IEEE
16 years 23 days ago
2008
IEEE
In model-based testing, one of the biggest decisions taken before modelling is the modelling language and the model analysis tool to be used to model the system under investigation...
167
click to vote
IROS
2007
IEEE
16 years 21 days ago
2007
IEEE
— In this paper, we present an approach that applies the reinforcement learning principle to the problem of learning height control policies for aerial blimps. In contrast to pre...
189
click to vote
SIPS
2007
IEEE
16 years 20 days ago
2007
IEEE
We analyze a precoded and iteratively detected downlink multiuser system employing imperfect Spatio-Temporal Channel Impulse Response at the Transmitters (ST-CIRT) with the aid of...
169
Voted
PPOPP
2003
ACM
15 years 11 months ago
2003
ACM
InterWeave is a distributed middleware system that supports the sharing of strongly typed, pointer-rich data structures across a wide variety of hardware architectures, operating ...
145
click to vote
CGF
2008
15 years 6 months ago
2008
This paper reviews the latest developments of displacement mapping algorithms implemented on the vertex, geometry, and fragment shaders of graphics cards. Displacement mapping alg...