4355 search results - page 485 / 871 » From Interpretation to Compilation |
199
click to vote
LOGCOM
2002
15 years 6 months ago
2002
One can add the machinery of relation symbols and terms to a propositional modal logic without adding quantifiers. Ordinarily this is no extension beyond the propositional. But if...
165
click to vote
PERVASIVE
2007
Springer
15 years 6 months ago
2007
Springer
Mobile social software is currently designed and conceived to afford serendipitous social interactions in densely populated urban environments. In this paper, I argue that these s...
158
click to vote
CORR
2008
Springer
15 years 5 months ago
2008
Springer
A type-based approach to termination uses sized types: an ordinal bound for the size of a data structure is stored in its type. A recursive function over a sized type is accepted i...
184
click to vote
IANDC
2010
15 years 5 months ago
2010
We give two generic proofs for cut elimination in propositional modal logics, interpreted over coalgebras. We first investigate semantic coherence conditions between the axiomati...
205
click to vote
IEEEHPCS
2010
15 years 5 months ago
2010
This paper presents a novel approach to detect and formulate time varying changes in texture content on a sequence of images registered from a scene by using Gabor wavelets repres...