Recently, a large number of equivalences for probabilistic automata has been proposed in the literature. Except for the probabilistic bisimulation of Larsen & Skou, none of these equivalences has been characterized in terms of an intuitive testing scenario. In our view, this is an undesirable situation: in the end, the behavior of an automaton is what an external observer perceives. In this pap...

The city of Villahermosa, considered the gateway to southern Mexico, has experienced growth due to the economic activities of the region. This growth has not been based on an urban development plan where a suitable system of streets and avenues is contemplated, which impacts the service of the public transportation system, which consists of the mass transit system urban (vans), the rental car s...

This paper describes an optimization model developed to determine the most efficient way to enhance the safety design of tank cars used to transport toxic inhalation hazard (TIH) materials in North America and a quantitative risk analysis conducted to assess the risk and potential benefit of implementing enhanced safety-design tank cars. The conditional probability of release and the car's weig...

In this paper we use a sequence-based visual localization algorithm to reveal surprising answers to the question, how much visual information is actually needed to conduct effective navigation? The algorithm actively searches for the best local image matches within a sliding window of short route segments or ‘sub-routes’, and matches sub-routes by searching for coherent sequences of local image...

This paper describes a rapid on-line system able to compute the semantics of outdoor scenes using dense stereo perception. Our main focus is to aid a robot to discover collision-free routes as an alternative to explore the environment during fall-back planning (localiser failure). The general scene understanding problem is formulated in a probabilistic framework that combines machine learning w...

Sleep and wake-up scheduling of sensor nodes is an efficient solution to prolong the network lifetime. However, existing scheduling algorithms may significantly decrease the number of active nodes so that the networkmay be intermittently connected. In such networks, traditional geographic routing protocols are inappropriate to obtain low latency routes due to route discovery and data forwarding...

In this paper marginal investment costs are assumed known for two kinds of equipment stocks employed to supply telecommunications services: trunks and switching facilities. From the supply viewpoint customer demands for service and quality of service are specified probabilistically between pairs of junctions in a network according to different hours of the day. Traffic itself may flow over dire...

Many biological systems, from fragmented landscapes to host populations, can be represented as networks of connected habitat patches. Links between patches in these connectivity networks can represent equally diverse processes, from individuals moving through the landscape to pathogen transmissions or successive colonization events in metapopulations. Any of these processes can be characterized...

In the case of hazardous materials management, selected routes for carrying hazardous materials (i.e., hazmat) have significant effects on locating hazmat distribution centers. Since, risk and cost are usually considered as two main attributes to determine the best routes, optimized locations are sequentially outlined depending on selected routes. In the present paper, t...