Mesh analysis and clustering have became important issues in order to improve the efficiency of common processing operations like compression, watermarking or simplification. In t...
In this paper, we develop an automated framework for formal verification of timed continuous Petri nets (contPN). Specifically, we consider two problems: (1) given an initial set o...
Marius Kloetzer, Cristian Mahulea, Calin Belta, La...
This paper studies the in-band interference of time-hopping spread spectrum (TH-SS) ultra-wideband (UWB) signals to narrowband receivers. Based on the analysis of general power spe...
Dongsong Zeng, Amir I. Zaghloul, Annamalai Annamal...
—Despite much research on the throughput of relaying networks under idealized interference models, many practical wireless networks rely on physical-layer protocols that preclude...
This paper presents an animation system that generates an animation from natural language texts such as movie scripts or stories. It also proposes a framework for a motion database...