1902 search results - page 144 / 381 » Differential Dynamic Logics |
211
click to vote
PE
2011
Springer
15 years 1 months ago
2011
Springer
Performance and dependability evaluation of complex systems by means of dynamic stochastic models (e.g. Markov chains) may be impaired by the combinatorial explosion of their stat...
150
click to vote
INTERSPEECH
2010
15 years 1 months ago
2010
In this paper, we propose to improve our previously developed method for joint compensation of additive and convolutive distortions (JAC) applied to model adaptation. The improvem...
161
click to vote
ISQED
2007
IEEE
16 years 1 months ago
2007
IEEE
The deep submicron (DSM) semiconductor technologies will make the worst-case design impossible, since they can not provide design margins that it requires. Research directions sho...
165
click to vote
EPIA
2005
Springer
16 years 7 days ago
2005
Springer
In this paper, we investigate the link between logics of games and “mentalistic” logics of rational agency, in which agents are characterized in terms of attitudes such as beli...
150
click to vote
DEXA
2000
Springer
15 years 11 months ago
2000
Springer
The event calculus is a logic programming formalism for representing events and their effects especially in database applications. This paper presents the use of the event calculus...