14382 search results - page 210 / 2877 » Time in Connectionist Models |
144
click to vote
SAC
2006
ACM
16 years 13 days ago
2006
ACM
Most previous work on information flow in process algebras has been based on untimed models of concurrency. It is obvious, however, that an observer might well use time to gain i...
171
click to vote
SPIN
2004
Springer
15 years 11 months ago
2004
Springer
We propose a new framework for black-box conformance testing of real-time systems, where specifications are modeled as nondeterministic and partially-observable timed automata. We...
155
click to vote
IPPS
2003
IEEE
15 years 11 months ago
2003
IEEE
In this paper we develop a methodology for treating the problem of scheduling partially-ordered tasks on parallel machines. Our framework is based on the timed automaton model, or...
161
click to vote
EPIA
1989
Springer
15 years 10 months ago
1989
Springer
In this paper a model for temporal references in natural language (NL) is studied and a Prolog implementation of it is presented. This model is intended to be a common framework f...
203
click to vote
CA
1998
IEEE
15 years 10 months ago
1998
IEEE
The importance of faces in human interaction explains the desire for synthetic faces as a communication vehicle in computer graphics. Unfortunately, animating a face is a very com...