We define quantitative similarity functions between timed transition systems that measure the degree of closeness of two systems as a real, in contrast to the traditional boolean ...
Thomas A. Henzinger, Rupak Majumdar, Vinayak S. Pr...
This report summarizes the eleven contributions by eight presenters from the two open space sessions that took place during the TMRA’05 workshop on 6th and 7th of October 2005. T...
— Estimation of network proximity among nodes is an important building block in several applications like service selection and composition, multicast tree formation, and overlay...
The H.264 adopts various block types and multiple reference frames for motion compensation. For transcoding a video sequence from the H.263 format to the H.264 format, it is benef...
Conferences are still valuable for established attendees and potential new audiences, and the overall audience for events can be increased, helping alleviate competition between p...