Sciweavers

5210 search results - page 751 / 1042
» Tools for Distributed Facilitation
Sort
View
ICMCS
2006
IEEE
119views Multimedia» more  ICMCS 2006»
16 years 22 days ago
Design and Verification of Communication Protocols for Peer-to-Peer Multimedia Systems
This paper addresses issues pertaining to the necessity of utilizing formal verification methods in the design of protocols for peer-to-peer multimedia systems. These systems req...
Senem Velipasalar, Chang Hong Lin, Jason Schlessma...
ADMA
2006
Springer
131views Data Mining» more  ADMA 2006»
16 years 21 days ago
Distance Guided Classification with Gene Expression Programming
Gene Expression Programming (GEP) aims at discovering essential rules hidden in observed data and expressing them mathematically. GEP has been proved to be a powerful tool for cons...
Lei Duan, Changjie Tang, Tianqing Zhang, Dagang We...
ASPDAC
2006
ACM
116views Hardware» more  ASPDAC 2006»
16 years 20 days ago
Post-routing redundant via insertion for yield/reliability improvement
- Reducing the yield loss due to via failure is one of the important problems in design for manufacturability. A well known and highly recommended method to improve via yield/relia...
Kuang-Yao Lee, Ting-Chi Wang
CONEXT
2006
ACM
16 years 20 days ago
Understanding the behavior of TCP for real-time CBR workloads
In this paper, we examine the feasibility of sending real-time CBR workloads over TCP. This is motivated by the friendliness of NATs and firewalls towards TCP as opposed to UDP a...
Salman Baset, Eli Brosh, Vishal Misra, Dan Rubenst...
UIST
2006
ACM
16 years 20 days ago
Videotater: an approach for pen-based digital video segmentation and tagging
The continuous growth of media databases necessitates development of novel visualization and interaction techniques to support management of these collections. We present Videotat...
Nicholas Diakopoulos, Irfan A. Essa