Abstract. We present an encoding for (bound) processes of the asynchronous CCS with replication into open Petri nets: ordinary Petri nets equipped with a distinguished set of open ...
This paper is the first part of a two-part paper that documents a detailed survey of the research carried out on consistency and latency in distributed interactive applications (D...
We propose an effective image segmentation approach with a novel automatic boundary refinement procedure that requires little user interaction and makes the object cutout process ...
Dingding Liu, Yingen Xiong, Linda G. Shapiro, Kari...
Making virtual modeling as easy and intuitive as realclay manipulation is still an unsolved problem. This paper takes a step in this direction: in addition to offering standard fe...
Safety critical systems, such as aviation systems controlled by software, often have hard real-time requirements. Producing the correct resultat the right time is thefundamental g...