22 search results - page 3 / 5 » Local Realizability Toposes and a Modal Logic for Computabil... |
JAPLL
2010
13 years 4 months ago
2010
The previously introduced algorithm SQEMA computes first-order frame equivalents for modal formulae and also proves their canonicity. Here we extend SQEMA with an additional rule...
FSTTCS
2005
Springer
13 years 11 months ago
2005
Springer
We give new proofs of soundness (all representable functions on base types lies in certain complexity classes) for Light Affine Logic, Elementary Affine Logic, LFPL and Soft Af...
MOBICOM
2009
ACM
14 years 23 days ago
2009
ACM
A growing number of mobile computing applications are centered around the user’s location. The notion of location is broad, ranging from physical coordinates (latitude/longitude...
CHI
2003
ACM
14 years 6 months ago
2003
ACM
Olfaction is considered to be an important sensory modality in next-generation virtual reality (VR) systems. We currently focus on spatiotemporal control of odor, rather than capt...
ICIP
2009
IEEE
14 years 5 months ago
2009
IEEE
This paper presents a study aimed to the realization of a novel
multiresolution registration framework. The transformation
function is computed iteratively as a composition of lo...