Rewriting logic is a simple computational logic that can naturally express both concurrent computation and logical deduction with great generality. This paper provides a gentle, intuitive introduction to its main ...

This thesis introduces a novel representation for three-dimensional (3D) objects in terms of local affine-invariant descriptors of their appearance and the spatial relationships between the corresponding affine regions. ...

The compression efficiency of Distributed Video-Coding (DVC) suffers from the necessity of transmitting a large number of key-frames which are intra-coded. This paper describes a new 3D model-basedDVC approach which reduces ...

In this paper, we propose a data acquisition and analysis framework for materials-to-devices processes, named 4CeeD, that focuses on the immense potential of capturing, accurately curating, correlating, and coordinating ...

The past decades have seen dramatic increase in the amount of information available to us, and the research area of information retrieval has served to help us access the tiny subset of information relevant to each of us ...

In recent times, the use of Unmanned aerial vehicles (UAVs) for tasks which involve high endurance or perilous environments, has become increasingly vital. A typical problem is that of information collection, in particular ...

Information networks with multi-typed nodes and edges with different semantics are called heterogenous information networks. Since heterogeneous information networks embed more complex information than homogeneous information ...

As general purpose robots begin to find their way into the household and workplace, there will be a demand for software to run on these robots. My research group forsees the proliferation of robot apps that use a common ...

This dissertation investigates novel methods of accelerating the central computations of physically-based light transport algorithms. We present novel mappings of the crucial primitive operations of ray tracing and shading ...

We evaluate our model on the criteria of expressiveness, performance and usability. The model is sufficiently expressive for applications used in our Active Space. The performance overhead of our access control is demonstrated ...