Narrowing extends rewriting with logic capabilities by allowing logic variables in terms and replacing matching with unification. Narrowing has been widely used in different contexts, ranging from theorem proving to language design. Surprisingly, the termination of narrowing has been mostly overlooked. In this paper, we present a new approach for analyzing the termination of narrowing in left-l...

We introduce jReality, a Java library for creating real-time interactive audiovisual applications with three-dimensional computer graphics and spatialized audio. Applications written for jReality will run unchanged on software and hardware platforms ranging from desktop machines with a single screen and stereo speakers to immersive virtual environments with motion tracking, multiple screens wit...

Transcoding is an important technique for reducing the bit rate or spatial resolution to meet the constrained transmission bandwidths and terminal capabilities. In this paper, we propose a spatial downscaling transcoding method to convert an MPEG-2 bitstream into an H.264/AVC bitstream. A novel feature of the proposed method is to focus on the fast mode decision that fully exploits the advantag...

Traditional transcoding on multimedia has been performed from the perspectives of user terminal capabilities such as display sizes and decoding processing power, and network resources such as available network bandwidth and quality of services (QoS) etc. The adaptation (or transcoding) of multimedia contents to given such constraints has been made by frame dropping and resizing of audiovisual, ...

Multimedia is gaining ever more importance on the Internet. This increases the need for intelligent and efficient video caches. A promising approach to improve caching efficiency is to adapt videos. With the availability of MPEG-4 it is possible to develop a standard compliant proxy cache that allows fast and efficient adaptation. We propose a modular design for an adaptive MPEG-4 video proxy t...

The transition to chaos is ubiquitous in nonlinear systems ranging from fluid dynamics and superconducting circuits biological organisms. Optical driven out of equilibrium such as lasers supercontinuum generation exhibit chaotic states light with fluctuations both amplitude phase can give rise Levy statistics, turbulence rogue waves. Spatiotemporal also occurs continuous-wave-driven photonic-ch...