In this paper the problem of obtaining 3D models from image sequences is addressed. The proposed method deals with uncalibrated monocular image sequences. No prior knowledge about...
Many advanced safety and navigation applications in vehicles require accurate, detailed digital maps, but manual lane measurements are expensive and time-consuming, making automat...
Assembly is a fundamental issue in the volume production of products that include microscopic submillimeter parts. These parts are often fabricated in parallel at high density but...
This paper addresses the problem of reducing the hysteresis found in the actuation of most smart materials. They are divided in two groups: systems with no saturation (e.g. piezoe...
In this paper we illustrate the use of formal methods in the development of a benchmark application we call the Village Telephone System which is characteristic of a class of netwo...
Karthikeyan Bhargavan, Carl A. Gunter, Elsa L. Gun...