1633 search results - page 145 / 327 » On the Verification of Temporal Properties |
ICEBE
2009
IEEE
13 years 6 months ago
2009
IEEE
Workflow management systems (WfMS) are widely used for improving business processes and providing better quality of services. However, rapid changes in business environment can ca...
COLING
2010
13 years 4 months ago
2010
This paper investigates the impact of using different temporal algebras for learning temporal relations between events. Specifically, we compare three intervalbased algebras: Alle...
PAKDD
2010
ACM
13 years 7 months ago
2010
ACM
Abstract. Within the large body of research in complex network analysis, an important topic is the temporal evolution of networks. Existing approaches aim at analyzing the evolutio...
JMLR
2010
13 years 3 months ago
2010
Actor-Critic based approaches were among the first to address reinforcement learning in a general setting. Recently, these algorithms have gained renewed interest due to their gen...
ICCV
1999
IEEE
14 years 11 months ago
1999
IEEE
In this paper we consider the problem of recovering the 3D motion and shape of an arbitrarily-moving, arbitrarilyshaped curve from multiple synchronized video streams acquired fro...