280 search results - page 32 / 56 » Storage Alternatives for Large Structured State Spaces |
VISUALIZATION
2002
IEEE
14 years 1 months ago
2002
IEEE
We present a novel disk-based multiresolution triangle mesh data structure that supports paging and view-dependent rendering of very large meshes at interactive frame rates from e...
ICFP
1999
ACM
14 years 29 days ago
1999
ACM
Languages such as Java, ML, Scheme, and Haskell provide automatic storage management, that is, garbage collection. The two fundamental operations performed on a garbagecollected h...
CVPR
2003
IEEE
14 years 10 months ago
2003
IEEE
This paper addresses the problem of capturing the dynamics for exemplar-based recognition systems. Traditional HMM provides a probabilistic tool to capture system dynamics and in ...
ISSTA
1998
ACM
14 years 26 days ago
1998
ACM
Symbolic model checking has proved highly successful for large nite-state systems, in which states can be compactly encoded using binary decision diagrams (BDDs) or their variants...
IAT
2007
IEEE
14 years 3 months ago
2007
IEEE
Here we revisit ADOPT-ing and bring two new contributions. One contribution consists of developing variations on the algorithms keeping the improvement in length of chain of causa...