2362 search results - page 227 / 473 » Programming in Standard ML |
137
click to vote
IFIP
1998
Springer
15 years 10 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...
147
click to vote
MM
1997
ACM
15 years 10 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 ...
156
click to vote
IFIP
1997
Springer
15 years 10 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...
150
click to vote
IFIP
1993
Springer
15 years 10 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...
162
click to vote
AIPR
2004
IEEE
15 years 10 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...