2362 search results - page 227 / 473 » Programming in Standard ML |
109
click to vote
IFIP
1998
Springer
15 years 8 months ago
1998
Springer
We present a distributed algorithm animation system called Catai (for Concurrent Algorithms and data Types Animation over the Internet). Among the features of this system are a lo...
122
click to vote
MM
1997
ACM
15 years 8 months ago
1997
ACM
We present the design and implementation of a new programming language for media-intensive applications called Flavor (Formal Language for Audio-Visual Object Representation). It ...
124
click to vote
IFIP
1997
Springer
15 years 8 months ago
1997
Springer
: National and international standards for professional groups may become a dominant and governing force as internet-based professional training becomes universally accepted. Educa...
126
click to vote
IFIP
1993
Springer
15 years 8 months ago
1993
Springer
A new type of computer-aided engineering environment is envisioned which will improve the productivity of manufacturing/industrial engineers. This environment would be used by eng...
126
click to vote
AIPR
2004
IEEE
15 years 8 months ago
2004
IEEE
The Intelligent Systems Division of the National Institute of Standards and Technology has been engaged for several years in developing real-time systems for autonomous driving. A...