5216 search results - page 1032 / 1044 » Planning as Model Checking |
RTAS
1999
IEEE
15 years 2 months ago
1999
IEEE
We present a QoS management framework that enables us to quantitatively measure QoS, and to analytically plan and allocate resources. In this model, end users' quality prefer...
GIS
1999
ACM
15 years 2 months ago
1999
ACM
In urban areas, city noises represent today a great problem. They are real nuisances for city-dwellers. Noises are caused by traffic, road works, factories, and also by people. So...
ISPAN
1997
IEEE
15 years 2 months ago
1997
IEEE
This paper is concerned with the transparent parallelisation of declarative database queries, based on theoretical principles. We have designed an entire database architecture sui...
VISUALIZATION
1997
IEEE
15 years 2 months ago
1997
IEEE
Volume rendering is a valuable and important technique for scientific visualization. One well known application area is the reconstruction and visualization of output from medica...
89
Voted
CVRMED
1997
Springer
15 years 2 months ago
1997
Springer
A system for simulating arthroscopic knee surgery that is based on volumetric object models derived from 3D Magnetic Resonance Imaging is presented. Feedback is provided to the us...