1633 search results - page 247 / 327 » On the Verification of Temporal Properties |
189
click to vote
AGENTCL
2000
Springer
15 years 10 months ago
2000
Springer
The ability to communicate is one of the salient properties of agents. Although a number of agent communication languages (ACLs) have been developed, obtaining a suitable formal se...
124
click to vote
UIST
1993
ACM
15 years 10 months ago
1993
ACM
Skimming or browsing audio recordings is much more difficult than visually scanning a document because of the temporal nature of audio. By exploiting properties of spontaneous spe...
153
click to vote
CIVR
2006
Springer
15 years 10 months ago
2006
Springer
Content-based video navigation is an efficient method for browsing video information. A common approach is to cluster shots into groups and visualize them afterwards. In this paper...
167
click to vote
AUSAI
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. Logics of knowledge have important applications for reasoning about security protocols and multi-agent systems. We extend the semantics for the logic of necessity with lo...
162
click to vote
CHARME
2001
Springer
15 years 10 months ago
2001
Springer
Model checking is the process of verifying whether a model of a concurrent system satisfies a specified temporal property. Symbolic algorithms based on Binary Decision Diagrams (BD...