1981 search results - page 110 / 397 » Model-Checking Hierarchical Structures |
SIGCSE
1998
ACM
14 years 2 months ago
1998
ACM
,’ Theideaof ahierarchicaldesignandintegrationof programming projectsin the computerscienceundergraduatecurriculum is proposedanddiscussed.Researchresultsin softwarereuseandobje...
CHI
1993
ACM
14 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...
RT
2000
Springer
14 years 1 months ago
2000
Springer
Visibility determination is the most expensive task in cluster hierarchical radiosity. Guaranteed full occlusion and full visibility can reduce these computations without causing ...
NIPS
2004
13 years 11 months ago
2004
In this paper we propose an efficient algorithm for reducing a large mixture of Gaussians into a smaller mixture while still preserving the component structure of the original mod...
JCPHY
2011
13 years 29 days ago
2011
We develop a hierarchical matrix construction algorithm using matrixvector multiplications, based on the randomized singular value decomposition of low-rank matrices. The algorith...