Sciweavers

4341 search results - page 622 / 869
» Quantitative Model checking
Sort
View
CN
2004
106views more  CN 2004»
15 years 6 months ago
An overlay framework for provisioning differentiated services in Source Specific Multicast
Scalability in QoS-aware multicast deployment has become an important research dimension in recent years. In this paper we propose a new scheme named Differentiated QoS Multicast ...
Ning Wang, George Pavlou
CN
1999
77views more  CN 1999»
15 years 6 months ago
Efficiency Analysis of Brokers in the Electronic Marketplace
In this paper we analyze the behavior of e-commerce users based on actual logs from two large non-English e-brokers. We start by presenting a quantitative study of the behavior of...
Virgilio Almeida, Wagner Meira Jr., Victor F. Ribe...
PAMI
2010
242views more  PAMI 2010»
15 years 5 months ago
Spatiotemporal Saliency in Dynamic Scenes
—A spatiotemporal saliency algorithm based on a center-surround framework is proposed. The algorithm is inspired by biological mechanisms of motion-based perceptual grouping and ...
Vijay Mahadevan, Nuno Vasconcelos
SPRINGSIM
2010
15 years 5 months ago
Using factored bond graphs for distributed diagnosis of physical systems
This paper presents a distributed Bayesian fault diagnosis scheme for physical systems. Our diagnoser design is based on a procedure for factoring the global system bond graph (BG...
Indranil Roychoudhury, Gautam Biswas, Xenofon D. K...
BMVC
2010
15 years 4 months ago
Label propagation in complex video sequences using semi-supervised learning
We propose a novel directed graphical model for label propagation in lengthy and complex video sequences. Given hand-labelled start and end frames of a video sequence, a variation...
Ignas Budvytis, Vijay Badrinarayanan, Roberto Cipo...