Abstract. In indoor context awareness applications the location of people, devices or objects is often required. Ultrasound technology enables high resolution indoor position measu...
Esko O. Dijk, Kees van Berkel, Ronald M. Aarts, Ev...
In this paper we describe a methodology for the formal verification of a DSP chip using the HOL theorem prover. We used an iterative method to specify both the behavioral and stru...
: Since modern programmable devices contain embedded memory blocks, there exists a possibility to implement Finite State Machines (FSM) using such blocks. The size of the memory av...
Edit distance matching has been used in literature for word spotting with characters taken as primitives. The recognition rate however, is limited by the segmentation inconsistenci...
When a projector is oblique with respect to a planar displaysurface, it creates keystoning and the projected imageis distorted. We present a rendering technique to display perspec...