Results 51 to 60 of about 860,662 (182)
Probabilistic Model Counting with Short XORs
, 2017 The idea of counting the number of satisfying truth assignments (models) of a formula by adding random parity constraints can be traced back to the seminal work of Valiant and Vazirani, showing that NP is as easy as detecting unique solutions.
A Ivrii +8 more
core +1 more source
Photo Semantic Understanding and Retargeting by a Noise-Robust Regularized Topic Model
IEEE Journal of Selected Topics in Applied Earth Observations and Remote Sensing, 2023 Retargeting aims at displaying a photo with an arbitrary aspect ratio, wherein the visually/semantically prominent objects are appropriately preserved and visual distortions can be well alleviated.
Guifeng Wang +3 more
doaj +1 more source
Disjunctive Probabilistic Modal Logic is Enough for Bisimilarity on Reactive Probabilistic Systems [PDF]
, 2016 Larsen and Skou characterized probabilistic bisimilarity over reactive probabilistic systems with a logic including true, negation, conjunction, and a diamond modality decorated with a probabilistic lower bound.
Bernardo, Marco, Miculan, Marino
core +2 more sources
Probabilistic Human Mobility Model in Indoor Environment
, 2016 Understanding human mobility is important for the development of intelligent mobile service robots as it can provide prior knowledge and predictions of human distribution for robot-assisted activities.
Guo, Yi +3 more
core +1 more source
Probabilistic Model‐Based Cell Tracking [PDF]
International Journal of Biomedical Imaging, 2006 The study of cell behavior is of crucial importance in drug and disease research. The fields of bioinformatics and biotechnology rely on the collection, processing, and analysis of huge numbers of biocellular images, including cell features such as cell size, shape, and motility.
Nezamoddin N. Kachouie +3 more
openaire +3 more sources
Fermentation, 2022 Fusarium species can cause head blight of cereals worldwide. This is accompanied by impacts on yield and contamination of grains with mycotoxins.
Esther Garcia-Cela +4 more
doaj +1 more source
Life-Cycle Maintenance Cost Model for Concrete Bridges Using Markovian Deterioration Curves
BuildingsLong-term deterioration of concrete bridges is a natural process that requires prudent maintenance actions throughout the bridge’s life-cycle. Nowadays, there is an ongoing effort to simulate such processes into practical models.
Kleopatra Petroutsatou +3 more
doaj +1 more source
Cyberattack Risk Assessment in Electronic banking Technologies (the Case of Software Implementation)
Финансы: теория и практика, 2020 The authors investigate the risks of computer attacks on automated banking systems. The relevance of the study is due to the need to revise the approaches to risk assessment based on the technical components of banking business processes and the ...
A. A. Berdyugin, P. V. Revenkov
doaj +1 more source
On Probabilistic Parallel Programs with Process Creation and Synchronisation [PDF]
, 2010 We initiate the study of probabilistic parallel programs with dynamic process creation and synchronisation. To this end, we introduce probabilistic split-join systems (pSJSs), a model for parallel programs, generalising both probabilistic pushdown ...
Kiefer, Stefan, Wojtczak, Dominik
core +1 more source
Qualitative Probabilistic Relational Models [PDF]
, 2018 Probabilistic relational models (PRMs) were introduced to extend the modelling and reasoning capacities of Bayesian networks from propositional to relational domains. PRMs are typically learned from relational data, by extracting from these data both a dependency structure and its numerical parameters.
van der Gaag, L.C., Leray, Ph.
openaire +2 more sources