1283 search results - page 57 / 257 » A Survey on Temporal Logics |
158
click to vote
DLT
2006
15 years 7 months ago
2006
Abstract. We show that some language theoretic and logical characterizations of recognizable word languages whose syntactic monoid is in the variety DA also hold over traces. To th...
178
click to vote
CONCUR
2009
Springer
15 years 10 months ago
2009
Springer
We define an extension of forest algebra for -forests. We show how the standard algebraic notions (free object, syntactic algebra, morphisms, etc.) extend to the infinite case. To ...
249
click to vote
ICCS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Sensing is at the core of virtually every DDDAS application. Sensing applications typically involve distributed communication and coordination over large self-organized n...
171
click to vote
IWINAC
2009
Springer
16 years 21 days ago
2009
Springer
Computer-based decision support in health-care is becoming more and more important in recent years. Clinical Practise Guidelines are documents supporting health-care professionals ...
164
click to vote
IAT
2008
IEEE
16 years 18 days ago
2008
IEEE
Logic Programming Update Languages were proposed as an extension of logic programming, which allow for modelling the dynamics of knowledge bases where both extensional knowledge (...