Sciweavers

4642 search results - page 851 / 929
» Distributed algorithm and reversible network
Sort
View
ICFEM
2004
Springer
14 years 1 months ago
Linear Inequality LTL (iLTL): A Model Checker for Discrete Time Markov Chains
Abstract. We develop a way of analyzing the behavior of systems modeled using Discrete Time Markov Chains (DTMC). Specifically, we define iLTL, an LTL with linear inequalities on...
YoungMin Kwon, Gul Agha
ECCV
2010
Springer
14 years 1 months ago
Detecting People Using Mutually Consistent Poselet Activations
Bourdev and Malik (ICCV 09) introduced a new notion of parts, poselets, constructed to be tightly clustered both in the configuration space of keypoints, as well as in the appeara...
ATAL
2009
Springer
14 years 23 days ago
Dynamic information source selection for intrusion detection systems
Our work presents a mechanism designed for the selection of the optimal information provider in a multi-agent, heterogeneous and unsupervised monitoring system. The selfadaptation...
Martin Rehák, Eugen Staab, Michal Pechoucek...
MMNS
2001
70views Multimedia» more  MMNS 2001»
13 years 9 months ago
MPEG-4 Video Transfer with TCP-Friendly Rate Control
It is widely known that network bandwidth is easily monopolized by distributed multimedia applications due to their greedy UDP traffic. In this paper, we propose TCP-friendly MPEG-...
Naoki Wakamiya, Masaki Miyabayashi, Masayuki Murat...
CN
2006
91views more  CN 2006»
13 years 8 months ago
End-host controlled multicast routing
The last decade has seen a deluge of proposals for supporting multicast in the Internet. These proposals can be categorized as either infrastructure-based, with the multicast func...
Karthik Lakshminarayanan, Ananth Rao, Ion Stoica, ...