1973 search results - page 6 / 395 » The Construction of Ludic Space |
ASPDAC
1998
ACM
13 years 11 months ago
1998
ACM
Binary decision diagrams (BDDs) have been shown to be a powerful tool in formal verification. Efficient BDD construction techniques become more important as the complexity of proto...
PRL
2008
13 years 6 months ago
2008
A cylindrical coordinate colour space (lightness, saturation/chroma, hue) is derived from an opponent colour space in the RGB space. It is shown how cylindrical coordinate colour ...
STOC
1993
ACM
13 years 11 months ago
1993
ACM
Abstract. The subject of this paper is nding small sample spaces for joint distributions of n discrete random variables. Such distributions are often only required to obey a certa...
TCOS
2010
13 years 5 months ago
2010
We present a general framework for computing two-dimensional Voronoi diagrams of different classes of sites under various distance functions. Most diagrams mentioned in the paper ...
ICPR
2002
IEEE
14 years 8 months ago
2002
IEEE
Image correction is discussed for realizing both effective object recognition and realistiic image-based rendering. Three image normalizations are compared in relation with the li...