1638 search results - page 134 / 328 » Properties of input-consuming derivations |
62
Voted
CGF
1998
14 years 10 months ago
1998
Progressive addition lenses are a relatively new approach to compensate for defects of the human visual system. While traditional spectacles use rotationally symmetric lenses, pro...
73
Voted
NDJFL
1998
14 years 10 months ago
1998
We investigate transfer of interpolation in such combinations of modal logic which lead to interaction of the modalities. Combining logics by taking products often blocks transfer...
92
Voted
TCOM
2010
14 years 8 months ago
2010
Abstract— Today, due to the vast amount of literature on largescale wireless networks, we have a fair understanding of the asymptotic behavior of such networks. However, in real ...
SMC
2007
IEEE
15 years 4 months ago
2007
IEEE
— Combining both intervals and discrete sets of numbers, this paper presents a definition for an extended grey number model representing both continuous and discrete grey number...
102
Voted
CONCUR
2003
Springer
15 years 3 months ago
2003
Springer
We describe a probabilistic polynomial-time process calculus for analyzing cryptographic protocols and use it to derive compositionality properties of protocols in the presence of ...