1743 search results - page 29 / 349 » Generalized Modal Satisfiability |
126
Voted
LICS
2006
IEEE
15 years 6 months ago
2006
IEEE
aic semantics, which conveniently abstracts from the details of a given model class and thus allows covering a broad range of logics in a uniform way. Categories and Subject Descri...
101
click to vote
ICPR
2010
IEEE
15 years 3 months ago
2010
IEEE
Handwritten text is generally captured through two main modalities: off-line and on-line. Smart approaches to handwritten text recognition (HTR) may take advantage of both modalit...
93
Voted
MLQ
2002
15 years 13 days ago
2002
We generalize the notion of a monadic algebra to that of a pseudomonadic algebra. In the same way as monadic algebras serve as algebraic models of epistemic modal system S5, pseudo...
111
Voted
HYBRID
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. In this paper, we formulate and robustly solve a quite general class of hybrid controller synthesis problems. The type of controller we investigate is the switching contr...
99
Voted
ECLIPSE
2007
ACM
15 years 4 months ago
2007
ACM
In this paper we detail the design and implementation of an Eclipse plug-in that supports construction, analysis and elaboration of Modal Transition Systems. The plug-in supports ...