Sciweavers

8695 search results - page 1320 / 1739
» Making the Complex Simple
Sort
View
LISA
2003
15 years 6 months ago
Virtual Appliances for Deploying and Maintaining Software
This paper attempts to address the complexity of system administration by making the labor of applying software updates independent of the number of computers on which the softwar...
Constantine P. Sapuntzakis, David Brumley, Ramesh ...
UAI
2003
15 years 6 months ago
Updating with incomplete observations
Currently, there is renewed interest in the problem, raised by Shafer in 1985, of updating probabilities when observations are incomplete (or setvalued). This is a fundamental pro...
Gert de Cooman, Marco Zaffalon
VIP
2003
15 years 6 months ago
On the Structural Algorithm of Filtering Graphs for Layout
When the amount of information in visualization becomes large enough, users can not perceive all elements at the same time. This problem can be solved by removing parts of the inf...
Xiaodi Huang, Wei Lai
FTCS
1998
114views more  FTCS 1998»
15 years 6 months ago
Verification of a Safety-Critical Railway Interlocking System with Real-Time Constraints
Ensuring the correctness of computer systems used in lifecritical applications is very difficult. The most commonly used verification methods, simulation and testing, are not exha...
Vicky Hartonas-Garmhausen, Sérgio Vale Agui...
WSCG
2003
170views more  WSCG 2003»
15 years 6 months ago
Hardware Accelerated Point Rendering of Isosurfaces
Interactive volume sculpting and volume editing often employ surface based visualization techniques, and interactive applications require fast generation and rendering of surface ...
J. Andreas Bærentzen, Niels Jørgen Ch...
« Prev « First page 1320 / 1739 Last » Next »