Sciweavers

993 search results - page 106 / 199
» The Complexity of Probabilistic EL
Sort
View
TSMC
2008
113views more  TSMC 2008»
13 years 7 months ago
Computational Methods for Verification of Stochastic Hybrid Systems
Stochastic hybrid system (SHS) models can be used to analyze and design complex embedded systems that operate in the presence of uncertainty and variability. Verification of reacha...
Xenofon D. Koutsoukos, Derek Riley
RC
2007
113views more  RC 2007»
13 years 7 months ago
A Search Algorithm for Calculating Validated Reliability Bounds
The search algorithm presented allows the CDF of a dependent variable to be bounded with 100%confidence,andallowsforaguaranteedevaluationof theerror involved.Thesereliabilitybound...
Fulvio Tonon
DCOSS
2011
Springer
12 years 7 months ago
Construction of connected dominating sets in large-scale MANETs exploiting self-stabilization
—Available algorithms for the distributed construction of connected dominating sets in mobile ad hoc networks are inapplicable or suffer from a high complexity. This is mainly du...
Stefan Unterschutz, Volker Turau
ICPR
2008
IEEE
14 years 9 months ago
Joint visual vocabulary for animal classification
This paper presents a method for visual object categorization based on encoding the joint textural information in objects and the surrounding background, and requiring no segmenta...
Alireza Tavakoli Targhi, Andrzej Pronobis, Heydar ...
ICIP
2005
IEEE
14 years 9 months ago
Variable module graphs: a framework for inference and learning in modular vision systems
We present a novel and intuitive framework for building modular vision systems for complex tasks such as surveillance applications. Inspired by graphical models, especially factor...
Amit Sethi, Mandar Rahurkar, Thomas S. Huang