This paper describes the verification module (the VipVerify Module) of the VipTool [4]. VipVerify allows to verify whether a given scenario is an execution of a system model, give...
In this paper we describe PIBE, a new Personalizable Image Browsing Engine that allows an effective visual exploration of large image collections combining computer vision and da...
This paper investigates assignment strategies (load balancing algorithms) for process farms which solve the problem of online placement of a constant number of independent tasks w...
With the integration of cameras, mobile phones have evolved into networked personal image capture devices. Camera-phones can perform image processing tasks on the device itself an...
This paper describes a robust mechanism for transmitting 3D meshes over the Internet. TCP/IP is an excellent means for reliable transport over the Internet. However, multi-user, r...