7326 search results - page 12 / 1466 » Methods for modalities 3 |
IGARSS
2009
13 years 8 months ago
2009
Interactive visualization of remote sensing data allows the user to explore the full scope of the data sets. Combining and comparing different modalities can give additional insig...
AIML
1998
14 years 8 days ago
1998
Abstract. This paper presents a resolution decision procedure for transitive propositional modal logics. The procedure combines the relational translation method with an ordered ch...
ATAL
2010
Springer
14 years 20 hour ago
2010
Springer
The paper applies modal logic to formalize fragments of argumentation theory. Such formalization allows to import, for free, a wealth of new notions (e.g., argument equivalence), ...
CA
1998
IEEE
14 years 3 months ago
1998
IEEE
This paper presents a voxel-based animation technique which employs either a massspring modelor a niteelementmodel. The voxel-basedmeshis generated in a pre-processing step. Two v...
FUIN
2000
13 years 10 months ago
2000
We give algorithms to construct the least L-model for a given positive modal logic program P, where L can be one of the modal logics KD, T, KDB, B, KD4, S4, KD5, KD45, and S5. If L...