2573 search results - page 415 / 515 » Combinations of Modal Logics |
147
click to vote
WSC
1997
15 years 5 months ago
1997
This paper investigates an attempt to combine different simulation tools in order to build a simulation environment that can be used to model complex system behaviour. The compone...
122
click to vote
EACL
1993
ACL Anthology
15 years 5 months ago
1993
ACL Anthology
Substantial efforts have been made in order to cope with disjunctions in constraint based grammar formalisms (e.g. [Kasper, 1987; Maxwell and Kaplan, 1991; DSrre and Eisele, 1990]...
129
click to vote
ISMB
1993
15 years 5 months ago
1993
There are several dimensions and levels of complexity in which information on protein motifs may be available. For example, onedimensional sequence motifs may be associated with s...
142
click to vote
PSTV
1993
15 years 5 months ago
1993
We present a new algorithm that can be used for solving the model−checking problem for linear−time temporal logic. This algorithm can be viewed as the combination of two exist...
127
click to vote
CEC
2010
IEEE
15 years 5 months ago
2010
IEEE
The evolution of Artificial Intelligence has passed through many phases over the years, going from rigorous mathematical grounding to more intuitive bio-inspired approaches. Despit...