1633 search results - page 321 / 327 » On the Verification of Temporal Properties |
94
Voted
3DPVT
2002
IEEE
15 years 2 months ago
2002
IEEE
3D video is the ultimate image medium recording dynamic visual events in the real world as is. Recorded object behaviors can be observed from any viewpoint, because 3D video recor...
COOPIS
1998
IEEE
15 years 1 months ago
1998
IEEE
Recent advances in wireless technologies have made the mobile computing a reality. In order to provide services of good quality to mobile users and improve the system performance,...
NPIV
1998
ACM
15 years 1 months ago
1998
ACM
We explore techniques from visualization and computational geometry to make tactical information more intuitive to a military commander. To be successful, the commander must quick...
101
click to vote
HASE
1997
IEEE
15 years 1 months ago
1997
IEEE
: The most important aspect of concurrent and distributed computation is the interaction between system components. Integration of components into a system requires some synchroniz...
VISUALIZATION
1997
IEEE
15 years 1 months ago
1997
IEEE
Modular Visualization Environments (MVEs) have recently been regarded as the de facto standard for scientific data visualization, mainly due to adoption of visual programming sty...