The use of static analysis techniques to prove the partial correctness of C code has recently attracted much attention due ...
Continue readingThis book constitutes the refereed proceedings of the 17th International Conference on Virtual Reality and Augmented Reality, ...
Continue readingImage analysis is a computational feat which humans show excellence in, in comp- ison with computers. Yet the list of applications ...
Continue readingThis book takes steps towards the realization of domestic robots by presenting an integrated systems view of computer vision ...
Continue readingThis book address current research and development efforts of various issues in the area of algorithms, systems and applications ...
Continue readingThis book constitutes the refereed proceedings of the 4th European Workshop on Wireless Sensor Networks, EWSN 2007, held ...
Continue reading