1743 search results - page 75 / 349 » Generalized Modal Satisfiability |
110
Voted
FOSSACS
2009
Springer
15 years 7 months 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...
106
click to vote
ICIAP
2009
ACM
15 years 7 months 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...
98
Voted
MM
2009
ACM
15 years 7 months 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 ...
81
Voted
ICMCS
2007
IEEE
15 years 7 months 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...
122
Voted
LICS
2007
IEEE
15 years 7 months 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...