7326 search results - page 484 / 1466 » Methods for modalities 3 |
170
click to vote
ATAL
2010
Springer
15 years 8 months ago
2010
Springer
We present the logic CTL.STIT, which is the join of the logic CTL with a multi-agent strategic stit-logic variant. CTL.STIT subsumes ATL, and adds expressivity to it that we claim...
173
click to vote
ATAL
2010
Springer
15 years 8 months ago
2010
Springer
Most previous logical accounts of goals do not deal with prioritized goals and goal dynamics properly. Many are restricted to achievement goals. In this paper, we develop a logica...
201
click to vote
ICANN
2010
Springer
15 years 8 months ago
2010
Springer
Learning processes allow the central nervous system to learn relationships between stimuli. Even stimuli from different modalities can easily be associated, and these associations ...
164
click to vote
CG
2010
Springer
15 years 7 months ago
2010
Springer
Dynamic contrast-enhanced magnetic resonance imaging (DCE-MRI) of the breast has become an important image modality for early breast cancer detection. In comparison to conventiona...
196
click to vote
JLP
2006
15 years 6 months ago
2006
This paper describes in detail how to bridge the gap between theory and practice when implementing in Maude structural operational semantics described in rewriting logic, where tr...