451 search results - page 46 / 91 » Temporal Classes and OWL |
PODS
2006
ACM
16 years 18 days ago
2006
ACM
We study the verification of compositions of Web Service peers which interact asynchronously by exchanging messages. Each peer has access to a local database and reacts to user in...
110
Voted
ICCL
1994
IEEE
15 years 4 months ago
1994
IEEE
This paper presents a framework to define a semantics for a real-time object-orientation programming language and to verify programs written in the language. The semantics is defi...
119
Voted
BMVC
1998
15 years 1 months ago
1998
To recognize people by their gait from a sequence of images, we have proposed a statistical approach which combined eigenspace transformation (EST) with canonical space transforma...
101
click to vote
ENTCS
2010
15 years 16 days ago
2010
The validity/satisfiability problem for most propositional interval temporal logics is (highly) undecidable, under very weak assumptions on the class of interval structures in whi...
FSTTCS
2010
Springer
14 years 10 months ago
2010
Springer
We study the alternating-time temporal logics ATL and ATL extended with strategy contexts: these make agents commit to their strategies during the evaluation of formulas, contrary...