77016 search results - page 14935 / 15404 » Modelling |
176
click to vote
CTCS
1989
Springer
15 years 11 months ago
1989
Springer
We introduce the notion of a candidate for “multiple valued universal constructions” and define stable functors (which generalise functors with left adjoints) in terms of fac...
230
click to vote
SIGGRAPH
1992
ACM
15 years 11 months ago
1992
ACM
To reduce the cost of correcting design errors, assemblies of mechanical parts are modeled using CAD systems and verified electronically before the designs are sent to manufacturi...
199
click to vote
SIGGRAPH
1992
ACM
15 years 11 months ago
1992
ACM
This paper discusses how interval analysis can be used to solve a wide variety of problems in computer graphics. These problems include ray tracing, interference detection, polygo...
194
click to vote
DBPL
1989
Springer
15 years 11 months ago
1989
Springer
In the process of developing an Information System, one passes through stages that include requirements gathering, design specification, and software implementation. The purpose ...
165
click to vote
FODO
1989
Springer
15 years 11 months ago
1989
Springer
d Abstract) Michael Rabin Aiken Computation Laboratory Harvard University Cambridge, MA 02138 J. D. Tygar School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213...