3387 search results - page 272 / 678 » Model-Checking for Real-Time Systems |
196
click to vote
RT
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. In this paper we present some preliminary results concerning a realtime visualisation system for densely populated urban environments. In order to be able to render the l...
229
click to vote
NOSSDAV
1995
Springer
15 years 10 months ago
1995
Springer
Abstract. This paper presents the design, implementation and experimental analysis of a distributed, real-time MPEG video and audio player. The player is designed for use across th...
171
click to vote
VVS
1995
IEEE
15 years 10 months ago
1995
IEEE
This paper describes a high-performance special-purpose system, Cube-3, for displaying and manipulating highresolution volumetric datasets in real-time. A primary goal of Cube-3 i...
207
click to vote
AIIDE
2008
15 years 9 months ago
2008
We present a domain independent off-line adaptation technique called Stochastic Plan Optimization for finding and improving plans in real-time strategy games. Our method is based ...
182
click to vote
ADAEUROPE
2008
Springer
15 years 9 months ago
2008
Springer
Standards for distribution middleware sometimes impose restrictions and often allow the implementations to decide on aspects that are fundamental to the correct and efficient behav...