3387 search results - page 307 / 678 » Model-Checking for Real-Time Systems |
246
click to vote
DAGSTUHL
2010
15 years 8 months ago
2010
We apply Knoll et al.'s algorithm [9] to interactively ray-cast constructive solid geometry (CSG) objects of arbitrary primitives represented as implicit functions. Whereas m...
213
click to vote
IJNSEC
2008
15 years 7 months ago
2008
Proxies are commonly used to cache objects, especially multimedia objects, so that clients can enjoy better quality-of-service (QoS) guarantees such as smaller startup latency and...
240
click to vote
IJVR
2006
15 years 7 months ago
2006
In this paper, we will present an overview of existing research in the vast area of IVH systems. We will also present our ongoing work on improving the expressive capabilities of I...
241
click to vote
JFR
2007
15 years 7 months ago
2007
We describe a Simultaneous Localization and Mapping (SLAM) method for a hovering underwater vehicle that will explore underwater caves and tunnels, a true three dimensional (3D) e...
220
click to vote
MONET
2002
15 years 7 months ago
2002
This paper describes a framework for selecting the optimal call mix to be admitted while employing a bandwidth degradation policy in a wireless cellular network. The optimal proper...