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