2203 search results - page 45 / 441 » Temporal Abstract Interpretation |
COGSCI
2002
14 years 9 months ago
2002
We address how listeners perceive temporal regularity in music performances, which are rich in temporal irregularities. A computational model is described in which a small system ...
ICMCS
1994
IEEE
15 years 2 months ago
1994
IEEE
1 As multimedia system integrate a variety of temporally interrelated media items, synchronization is an important issue in those systems. One part of synchronization is the repres...
CONCUR
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. We consider the control problem for timed automata against specifications given as MTL formulas. The logic MTL is a linear-time timed temporal logic which extends LTL wit...
CJ
2004
14 years 10 months ago
2004
act interpretation. R. Barbuti, C. Bernardeschi and N. De Francesco With mobile technology more and more prominent, the problem of security leakages becomes more and more important...
DEON
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. In this paper, we combine deontic logic with Alternatingtime Temporal Logic (ATL) into a framework that makes it possible to model and reason about obligations and abilit...