5544 search results - page 589 / 1109 » Three Inadequate Models |
195
click to vote
SIGGRAPH
1993
ACM
15 years 11 months ago
1993
ACM
We describe an adaptive display algorithm for interactive frame rates during visualization of very complex virtual environments. The algorithm relies upon a hierarchical model rep...
179
click to vote
ATVA
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Symbolic Trajectory Evaluation (STE) is a powerful technique for hardware model checking. It is based on a 3-valued symbolic simulation, using 0,1 and X n"), where t...
204
click to vote
CVPR
2009
IEEE
15 years 10 months ago
2009
IEEE
Fusion of 3D laser radar (LIDAR) imagery and aerial optical imagery is an efficient method for constructing 3D virtual reality models. One difficult aspect of creating such models...
219
click to vote
CCGRID
2001
IEEE
15 years 10 months ago
2001
IEEE
High performance computing on parallel architectures currently uses different approaches depending on the hardory model of the architecture, the abstraction level of the programmi...
196
click to vote
INFOCOM
2000
IEEE
15 years 10 months ago
2000
IEEE
A key consideration in building differentiated network services is the feasibility of maintaining stable and consistent service level agreements across multiple networks where allo...