8874 search results - page 1682 / 1775 » A New Implementation of Automath |
179
Voted
SRDS
1999
IEEE
15 years 7 months ago
1999
IEEE
Software distributed shared memory (DSM) improves the programmability of message-passing machines and workclusters by providing a shared memory abstract (i.e., a coherent global a...
126
Voted
VISUALIZATION
1999
IEEE
15 years 7 months ago
1999
IEEE
For types of data visualization where the cost of producing images is high, and the relationship between the rendering parameters and the image produced is less than obvious, a vi...
156
Voted
CA
1998
IEEE
15 years 7 months ago
1998
IEEE
The new MPEG-4 standard, scheduled to become an International Standard in February 1999, will include support not only for natural video and audio, but also for synthetic graphics...
132
Voted
CGI
1998
IEEE
15 years 7 months ago
1998
IEEE
Ray tracing and Monte-Carlo based global illumination, as well as radiosity and other finite-element based global illumination methods, all require repeated evaluation of quantita...
151
Voted
ICLP
1999
Springer
15 years 7 months ago
1999
Springer
Oz is a multiparadigm language that supports logic programming as one of its major paradigms. A multiparadigm language is designed to support different programming paradigms (log...