Sciweavers

430 search results - page 27 / 86
» formats 2005
Sort
View
FORMATS
2005
Springer
15 years 5 months ago
Quantifying Similarities Between Timed Systems
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...
TMRA
2005
Springer
15 years 5 months ago
Report on the Open Space Sessions
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...
Alexander Sigel
INFOCOM
2005
IEEE
15 years 5 months ago
Distributed querying of Internet distance information
— Estimation of network proximity among nodes is an important building block in several applications like service selection and composition, multicast tree formation, and overlay...
Rodrigo Fonseca, Puneet Sharma, Sujata Banerjee, S...
ISCAS
2005
IEEE
209views Hardware» more  ISCAS 2005»
15 years 5 months ago
Low complexity H.263 to H.264 video transcoding using motion vector decomposition
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...
Kai-Tat Fung, Wan-Chi Siu
CHI
2005
ACM
16 years 6 days ago
A focus on conferences
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...
Nico Macdonald