1743 search results - page 75 / 349 » Generalized Modal Satisfiability |
164
click to vote
FOSSACS
2009
Springer
16 years 29 days ago
2009
Springer
Higher-order recursion schemes are systems of rewrite rules on typed non-terminal symbols, which can be used to define infinite trees. The Global Modal Mu-Calculus Model Checking...
169
click to vote
ICIAP
2009
ACM
16 years 28 days ago
2009
ACM
Multi-modality is a fundamental feature that characterizes biological systems and lets them achieve high robustness in understanding skills while coping with uncertainty. Relativel...
164
click to vote
MM
2009
ACM
16 years 20 days ago
2009
ACM
In this technical demonstration we show a web video search engine based on ontologies, the Sirio1 system, that has been developed within the EU VidiVideo project. The goal of the ...
154
click to vote
ICMCS
2007
IEEE
16 years 14 days ago
2007
IEEE
This paper contributes to the automatic indexing of concert video. In contrast to traditional methods, which rely primarily on audio information for summarization applications, we...
194
click to vote
LICS
2007
IEEE
16 years 13 days ago
2007
IEEE
The combination of first-order epistemic logic and formal cryptography offers a potentially very powerful framework for security protocol verification. In this article, we addre...