471 search results - page 16 / 95 » Modals As A Problem For MT |
CONCUR
2005
Springer
15 years 3 months ago
2005
Springer
In this paper we use the timed modal logic Lν to specify control objectives for timed plants. We show that the control problem for a large class of objectives can be reduced to a ...
HAPTICS
2005
IEEE
15 years 3 months ago
2005
IEEE
In this paper, we present a multi-modal data perceptualization system used to analyze the benefits of augmenting a volume docking problem with other perceptual cues, particularly...
MOC
2010
14 years 4 months ago
2010
In this paper, we propose an original optimization approach for reconstructing interface changes of a conductivity inclusion from measurements of eigenvalues and eigenvectors asso...
IJIS
2011
14 years 1 months ago
2011
In this paper, we propose a method for modeling concepts in full computation-tree logic with sequence modal operators. An extended full computation-tree logic, CTLS∗ , is introdu...
146
click to vote
ILC
2007
Springer
15 years 3 months ago
2007
Springer
Two-way alternating automata were introduced by Vardi in order to study the satisfiability problem for the modal µ-calculus extended with backwards modalities. In this paper, we ...