3154 search results - page 206 / 631 » Computing Closed Skycubes |
177
click to vote
ASM
2010
ASM
16 years 3 months ago
2010
ASM
The activities of formal modelling and reasoning are closely related. But while the rigour of building formal models brings significant benefits, formal reasoning remains a major...
217
click to vote
Publication
We present a simple, effective generalisation of variable order Markov
models to full online Bayesian estimation. The mechanism used is close
to that employed in context tree wei...
177
click to vote
ICCD
2005
IEEE
16 years 3 months ago
2005
IEEE
Performance of modern computers is tied closely to the effective use of cache because of the continually increasing speed discrepancy between processors and main memory. We demons...
162
click to vote
ICCD
2004
IEEE
16 years 3 months ago
2004
IEEE
Decimal arithmetic is regaining popularity in the computing community due to the growing importance of commercial, financial, and Internet-based applications, which process decima...
178
click to vote
ICCD
2004
IEEE
16 years 3 months ago
2004
IEEE
ACG (Adjacent Constraint Graph) is invented as a general floorplan representation. It has advantages of both adjacency graph and constraint graph of a floorplan: edges in an ACG...