2656 search results - page 143 / 532 » A general purpose animator |
157
click to vote
IJCAI
1993
15 years 7 months ago
1993
The paper is concerned with the design of a module system for logic programming so as to satisfy many of the requirements of software en gineering. The design is based on the la...
144
click to vote
MACH
1993
15 years 7 months ago
1993
ent CMU Mach 3.0 microkernel exports simple timestamp and delay abstractions through host get time() and a timeout parameter to mach msg(). While this is sufficient for many purp...
162
click to vote
HAIS
2008
Springer
15 years 7 months ago
2008
Springer
The widespread use of artificial neural networks and the difficult work regarding the correct specification (tuning) of parameters for a given problem are the main aspects that mot...
142
click to vote
ENTCS
2008
15 years 6 months ago
2008
Rewrite theories and their associated Kripke structures constitute a flexible and executable framework in which a wide range of systems can be studied. We present a general notion...
173
click to vote
ENTCS
2008
15 years 6 months ago
2008
This paper explores a unification of the ideas of Concurrent Separation Logic with those of Communicating Sequential Processes. It extends separation logic by an operator for sepa...