Results 11 to 20 of about 5,859,765 (291)
Probabilistic Algorithmic Knowledge [PDF]
Logical Methods in Computer Science, 2003 The framework of algorithmic knowledge assumes that agents use deterministic knowledge algorithms to compute the facts they explicitly know. We extend the framework to allow for randomized knowledge algorithms. We then characterize the information provided by a randomized knowledge algorithm when its answers have some probability of being incorrect. We
Joseph Y. Halpern, Riccardo Pucella
openaire +5 more sources
Finding Structure with Randomness: Probabilistic Algorithms for Constructing Approximate Matrix Decompositions [PDF]
SIAM Review, 2009 Low-rank matrix approximations, such as the truncated singular value decomposition and the rank-revealing QR decomposition, play a central role in data analysis and scientific computing.
N. Halko, P. Martinsson, J. Tropp
semanticscholar +1 more source
Probabilistic Intuitionistic Fuzzy Decision Making Algorithms
IEEE Access, 2021 In this paper, the probabilistic version of intuitionistic fuzzy decision making methods is introduced to show the duality present within probabilistic distance.
Rinki Solanki +2 more
doaj +1 more source
Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations [PDF]
Logical Methods in Computer Science, 2008 Strong and weak simulation relations have been proposed for Markov chains, while strong simulation and strong probabilistic simulation relations have been proposed for probabilistic automata.
Lijun Zhang +3 more
doaj +1 more source
IEEE Open Journal of Vehicular Technology, 2021 Today's drivers of battery electric vehicles must deal with limited driving range in a sparse charging infrastructure. An accurate prediction of energy demand and driving range is therefore important and enables reliable routing and charge ...
Adam Thor Thorgeirsson +3 more
doaj +1 more source
Aerospace, 2021 The problem of flight delay prediction is approached most often by predicting a delay class or value. However, the aviation industry can benefit greatly from probabilistic delay predictions on an individual flight basis, as these give insight into the ...
Micha Zoutendijk, Mihaela Mitici
doaj +1 more source
IEEE Access, 2021 To guarantee safe motion planning, the underlying path planning algorithm must consider motion uncertainties and uncertain state information related to static, and dynamic obstacles. This paper proposes novel hybrid A* (HA*) algorithms that
Tobias Rainer Schafle, Naoki Uchiyama
doaj +1 more source
Understanding Document Thematic Structure: A Systematic Review of Topic Modeling Algorithms
Journal of Information and Organizational Sciences, 2022 The increasing usage of the Internet and other digital platforms has brought in the era of big data with the attending increase in the quantity of unstructured data that is available for processing and storage.
Seun Osuntoki +2 more
doaj +1 more source
A Hybrid Smartphone Indoor Positioning Solution for Mobile LBS
Sensors, 2012 Smartphone positioning is an enabling technology used to create new business in the navigation and mobile location-based services (LBS) industries. This paper presents a smartphone indoor positioning engine named HIPE that can be easily integrated with ...
Heidi Kuusniemi +4 more
doaj +1 more source
Probabilistic Thread Algebra [PDF]
Scientific Annals of Computer Science, 2015 We add probabilistic features to basic thread algebra and its extensions with thread-service interaction and strategic interleaving. Here, threads represent the behaviours produced by instruction sequences under execution and services represent the ...
J.A. Bergstra, C.A. Middelburg
doaj +1 more source