Results 31 to 40 of about 5,859,765 (291)
Model Checking Probabilistic Timed Automata with One or Two Clocks [PDF]
Logical Methods in Computer Science, 2008 Probabilistic timed automata are an extension of timed automata with discrete probability distributions. We consider model-checking algorithms for the subclasses of probabilistic timed automata which have one or two clocks.
Marcin Jurdzinski +2 more
doaj +1 more source
Sampling-based algorithms for optimal motion planning [PDF]
Int. J. Robotics Res., 2011 During the last decade, sampling-based path planning algorithms, such as probabilistic roadmaps (PRM) and rapidly exploring random trees (RRT), have been shown to work well in practice and possess theoretical guarantees such as probabilistic completeness.
S. Karaman, Emilio Frazzoli
semanticscholar +1 more source
Call Blocking Probabilities under a Probabilistic Bandwidth Reservation Policy in Mobile Hotspots
Telecom, 2021 In this paper we study a mobility-aware call admission control algorithm in a mobile hotspot. To this end, a vehicle is considered which has an access point with a fixed capacity. The vehicle alternates between stop and moving phases. When the vehicle is
Irene P. Keramidi +2 more
doaj +1 more source
A Probabilistic Ensemble Pruning Algorithm [PDF]
Sixth IEEE International Conference on Data Mining - Workshops (ICDMW'06), 2006 An ensemble is a group of learners that work together as a committee to solve a problem. However, the existing ensemble training algorithms sometimes generate unnecessary large ensembles, which consume extra computational resource and may degrade the performance.
Huanhuan Chen 0001 +2 more
openaire +1 more source
ProBoost: Reducing Uncertainty Using a Boosting Method for Probabilistic Models
IEEE AccessUncertainty analysis of classification or regression models is a key feature of probabilistic approaches to supervised learning, allowing the assessment of how trustworthy predictions are.
Fabio Mendonca +4 more
doaj +1 more source
European Journal of Remote Sensing, 2021 The data classification of fully polarimetric synthetic aperture radar (PolSAR) is one of the favourite topics in the remote sensing community. To date, a wide variety of algorithms have been utilized for PolSAR data classification, and among them kernel
Iman Khosravi +3 more
doaj +1 more source
Ain Shams Engineering Journal, 2018 This paper presents a comparison between four modern heuristic algorithms for optimal loss reduction of power distribution network equipped with renewable energy resources.
Amr M. Ibrahim, Rania A. Swief
doaj +1 more source
Finding regulatory elements and regulatory motifs: a general probabilistic framework
BMC Bioinformatics, 2007 Over the last two decades a large number of algorithms has been developed for regulatory motif finding. Here we show how many of these algorithms, especially those that model binding specificities of regulatory factors with position specific weight ...
van Nimwegen Erik
doaj +1 more source
Safe Path Planning Algorithms for Mobile Robots Based on Probabilistic Foam
Sensors, 2021 The planning of safe paths is an important issue for autonomous robot systems. The Probabilistic Foam method (PFM) is a planner that guarantees safe paths bounded by a sequence of structures called bubbles that provides safe regions. This method performs
Luís B. P. Nascimento +5 more
doaj +1 more source
Approximate and probabilistic algorithms for shading and rendering structured particle systems
International Conference on Computer Graphics and Interactive Techniques, 1985 Detail enhances the visual richness and realism of computer-generated images. Our stochastic modelling approach, called particle systems, builds complex pictures from sets of simple, volume-filling primitives.
W. Reeves, R. Blau
semanticscholar +1 more source