3058 search results - page 183 / 612 » Reflections |
KI
2008
Springer
13 years 8 months ago
2008
Springer
In this paper we suggest a typed compositional semantics for nominal compounds of the form [Adj Noun] that models adjectives as higher-order polymorphic functions, and where types...
MJ
2008
13 years 8 months ago
2008
In this work we show a theoretical study of the transport properties of armchair graphene nanoribbon at which linear poly-aromatic hydrocarbon molecules (LPHC) are side-attached o...
MOR
2008
13 years 8 months ago
2008
Abstract. We propose a new solution method for optimal stopping problems with random discounting for linear diffusions whose state space has a combination of natural, absorbing, or...
PUC
2006
13 years 8 months ago
2006
This paper presents the design of PhotoMirror an intra-home communication appliance for supporting informal, lightweight communication and awareness between home inhabitants. The P...
TCS
2008
13 years 8 months ago
2008
We develop a notion of spatial-behavioral typing suitable to discipline concurrent interactions and resource usage in distributed object systems. Our type structure reflects a res...