1675 search results - page 187 / 335 » Interactive streaming of structured data |
CORR
2010
Springer
14 years 10 months ago
2010
Springer
The focus of this paper is on reducing the complexity in verification by exploiting modularity at various levels: in specification, in verification, and structurally. For specifica...
CHI
1993
ACM
15 years 2 months ago
1993
ACM
Modern computer users must often sift and manage vast amounts of hierarchically structured information. However, conventional interface tools have not kept pace with the informati...
IFIPTCS
2010
14 years 8 months ago
2010
Abstract. Concurrent pattern calculus drives interaction between processes by comparing data structures, just as sequential pattern calculus drives computation. By generalising fro...
CGA
2008
14 years 10 months ago
2008
The rapid evolution of automatic shape acquisition technologies will make huge amount of sampled 3D data available in the near future. Cultural Heritage (CH) domain is one of the ...
106
click to vote
CGF
1998
14 years 9 months ago
1998
A multiresolution data decomposition offers a fundamental framework supporting compression, progressive transmission, and level-of-detail (LOD) control for large two or three dime...