The Internet network provides access to several hundreds of million sites and expands at a rate of a million pages a day. Yet, given the rapid and anarchical nature of its evoluti...
Directional information is an important component of both natural and synthetic images, and it is exploited in many image processing applications. Directional basis analysis is us...
Symbolic Model checking is a widely used technique in sequential verification. As the size of the OBDDs and also the computation time depends on the order of the input variables,...
Abstract. The increasing proliferation of computational devices has introduced the need for applications to run on multiple platforms in different physical environments. Providing ...
IN:SHOP uses the blue-c 3D video technology to implement distributed shopping in a shared virtual world. IN:SHOP combines traditional shopping and marketing structures with 3D com...