14382 search results - page 255 / 2877 » Time in Connectionist Models |
166
click to vote
LCTRTS
2005
Springer
16 years 1 days ago
2005
Springer
This paper introduces the notion of transparent distribution of real time software components. Transparent distribution means that (1) the functional and temporal behavior of a sy...
186
click to vote
ICCS
2003
Springer
15 years 11 months ago
2003
Springer
In this paper we investigate principles of the representation of time and modality in terms of conceptual graphs. Based on the works of A. N. Prior, and C. S. Peirce, we suggest a ...
174
click to vote
IJCAI
1997
15 years 8 months ago
1997
Aiming at explicit description of temporal meaning of causal relations generated by qualitative reasoning systems, this article proposes a causal time ontology which defines a se...
159
click to vote
TACAS
2009
Springer
16 years 1 months ago
2009
Springer
The ITPN-PerfBound is a tool for the modeling and analysis of Interval Time Petri Nets (ITPN), that is Petri Nets in which firing time intervals, and possibly firing frequency in...
208
click to vote
CAV
2003
Springer
15 years 11 months ago
2003
Springer
We consider the problem of synthesizing controllers for timed systems modeled using timed automata. The point of departure from earlier work is that we consider controllers that ha...