8874 search results - page 1760 / 1775 » A New Implementation of Automath |
CGF
1998
13 years 9 months ago
1998
We introduce a new approach to three important problems in ray tracing: antialiasing, distributed light sources, and fuzzy reflections of lights and other surfaces. For antialias...
CORR
1998
Springer
13 years 9 months ago
1998
Springer
Technology designers often strive to design systems that are flexible enough to be used in a wide range of situations. Software engineers, in particular, are trained to seek gener...
INFORMATICALT
2002
13 years 9 months ago
2002
Two examples of open-loop differential games are considered in the paper. Starting with simplified dynamic Duel, further it was developed to differential economic Duel modelling pr...
ELECTRONICMARKETS
1998
13 years 9 months ago
1998
AbstractAbstractAbstractAbstract A design and pilot implementation of a system, called InterProcs, supporting electronic contracting is presented. A key concept in the design of th...
JECR
2002
13 years 9 months ago
2002
Extended enterprises are networks of organizations interconnected to exchange critical resources, such as raw materials, labor, access to markets, specialized skills and knowledge...