Abstract Representing data using multiresolution is a valuable tool for the interactive exploration of very large datasets. Current multiresolution tools are written specifically ...
Philip J. Rhodes, R. Daniel Bergeron, Ted M. Sparr
Accurate recognition of blurred images is a practical but hitherto mostly overlooked problem. In this paper, we quantify the level of noise in blurred images and propose a new modi...
Consider a multithreaded parallel application running inside a multicore virtual machine context that is itself hosted on a multi-socket multicore physical machine. How should the...
Programming distributed data-intensive web and mobile applications is gratuitously hard. As the world is moving more and more towards the software as services model, we have to co...
TLS has been formally analyzed with the OTS/CafeOBJ method. In the method, distributed systems are modeled as transition systems, which are written in terms of equations, and it i...