—Mobile robots that interact with humans in an intuitive way must be able to follow directions provided by humans in unconstrained natural language. In this work we investigate h...
Separation logic involves two dual forms of modularity: local reasoning makes part of the store invisible within a static scope, whereas hiding local state makes part of the store...
—In this paper the autocorrelation properties of shadow fading and angle spread at both the base station (BS) and at the mobile station (MS) are analyzed using urban macro cellul...
Abstract. We describe a method of directly extracting a simplified contour surface along with detailed normal maps from volume data in one fast and integrated process. A robust du...
Abstract. Image-Based Lighting (IBL) has become a very popular approach in computer graphics. In essence IBL is based on capturing the illumination conditions in a scene in an omni...