10666 search results - page 2017 / 2134 » Quantum programming languages |
113
Voted
WSC
1998
15 years 4 months ago
1998
Proof AnimationTM is a family of products for animating discrete event simulations. Proof is available in a variety of versions, including an inexpensive, student version, midsize...
161
click to vote
PDPTA
1997
15 years 4 months ago
1997
Abstract In future, parallel and distributed computing paradigms will replace nowadays predominant sequential and centralized ones. Facing the challenge to support the construction...
120
click to vote
WOA
2000
15 years 4 months ago
2000
This paper briefly outlines the main characteristics of an ongoing research aimed at developing a support library for implementing systems based on autonomous agents. The library ...
101
click to vote
WSC
1997
15 years 4 months ago
1997
Proof Animation™ 4.0 is a family of products for animating discrete event simulations. Proof is available in a variety of versions, including an inexpensive, student version, mi...
144
Voted
AAAI
1996
15 years 4 months ago
1996
The representation of narratives of actions and observations is a current issue in Knowledge Representation, where traditional plan-oriented treatments of action seem to fall shor...