3394 search results - page 4 / 679 » A Modal Model of Memory |
CISST
2003
14 years 11 months ago
2003
Modality conversion is an important part in the content adaptation process of a Universal Multimedia Access system. The decision on modality conversion is dependent on terminal/ne...
CBMS
2005
IEEE
15 years 3 months ago
2005
IEEE
Clinical decision-making involves an active interplay between various medical knowledge modalities—the spectrum of medical knowledge modalities spanning from tacit knowledge to ...
AUSAI
2005
Springer
15 years 3 months ago
2005
Springer
We model the well-known Sum-and-Product problem in a modal logic, and verify its solution in a model checker. The modal logic is public announcement logic. The riddle is then imple...
SIGSOFT
2010
ACM
14 years 7 months ago
2010
ACM
In this thesis, I will improve the state-of-the-art for capturing, analyzing, and refining functional requirements by providing support for synthesizing, analyzing, and refining M...
DALT
2008
Springer
14 years 11 months ago
2008
Springer
We propose a variant of alternating time temporal logic (ATL) with imperfect information, perfect recall, epistemic modalities for the past and strategies which are required to be ...