289 search results - page 41 / 58 » Regular Linear Temporal Logic |
102
click to vote
TIME
1994
IEEE
15 years 3 months ago
1994
IEEE
Pinto and Reiter have argued that the Situation Calculus, improved with time handling axioms, subsumes the features of linear time temporal formalisms such as Event Calculus and I...
SACMAT
2009
ACM
15 years 6 months ago
2009
ACM
We develop the foundations for a theory of Group-Centric Secure Information Sharing (g-SIS), characterize a specific family of models in this arena and identify several direction...
105
click to vote
ICTAC
2009
Springer
14 years 9 months ago
2009
Springer
Online trading invariably involves dealings between strangers, so it is important for one party to be able to judge objectively the trustworthiness of the other. In such a setting,...
ICDAR
2005
IEEE
15 years 5 months ago
2005
IEEE
In this article, we focus on the problem of caption detection in video sequences. Contrary to most of existing approaches based on a single detector followed by an ad hoc and cost...
113
click to vote
EMSOFT
2008
Springer
15 years 1 months ago
2008
Springer
We present a framework for component-based design and scheduling of real-time embedded software. Each component has a clearly specified interface that includes the methods used fo...