1019 search results - page 111 / 204 » Uniform Functors on Sets |
ICCAD
1996
IEEE
14 years 1 months ago
1996
IEEE
Functional simulation is the most widely used method for design verification. At various levels of abstraction, e.g., behavioral, register-transfer level and gate level, the design...
ICTAI
1996
IEEE
14 years 1 months ago
1996
IEEE
In this paper we propose a general approach for reasoning in space. The approach is composed of a set of two general constraints to govern the spatial relationships between object...
VISUALIZATION
1996
IEEE
14 years 1 months ago
1996
IEEE
In the last ve years, there has been numerous applications of wavelets and multiresolution analysis in many elds of computer graphics as di erent as geometric modelling, volume vi...
IRREGULAR
1997
Springer
14 years 1 months ago
1997
Springer
ing with shared data abstractions Simon Dobson1 and Don Goodeve2 1 Well-Founded Systems Unit, CLRC Rutherford Appleton Laboratory, UK 2 School of Computer Studies, University of Le...
ISTCS
1993
Springer
14 years 1 months ago
1993
Springer
This thesis introduces a model of a random walk on a colored undirected graph. Such a graph has a single vertex set and distinct sets of edges, each of which has a color. A par...