Filters








5,915 Hits in 4.0 sec

Derivation of a Suitable Finite Test Suite for Customized Probabilistic Systems [chapter]

Luis F. Llana-Díaz, Manuel Núñez, Ismael Rodríguez
2006 Lecture Notes in Computer Science  
Specifically, if we consider that specifications and usage models are defined in probabilistic terms, then by applying a finite set of tests to the IUT we can compute a relevant metric: An upper bound  ...  However, a more precise metric can be obtained if we separately analyze the behavior of the IUT for each sequence of inputs and then we appropriately combine the results.  ...  By taking into account the probabilities of systems we have that, after a finite test suite is applied to the IUT, we can measure, for a given confidence degree, an upper bound of the probability that  ... 
doi:10.1007/11888116_33 fatcat:jokhj5mqyrhlllnfgydqotjgba

Improved utility and application of probabilistic methods for reliable mechanical design

Y M Goh, C A McMahon, J D Booker
2009 Proceedings of the Institution of Mechanical Engineers. Part O, Journal of risk and reliability  
The probabilistic methods developed over the past several decades have a range of capabilities and modes of application, for example, to predict reliability, for optimization, and to perform sensitivity  ...  In this paper, issues that have typically inhibited their use or prevented a successful outcome are addressed through a systematic framework for improved utility and successful application of probabilistic  ...  (http://www-edc.eng.cam.ac.uk/kim/) under grant EP/C534220/1 and the IdMRC under grant GR/ R67507/01 for the research reported in this paper.  ... 
doi:10.1243/1748006xjrr244 fatcat:a7plifrornfyjkohm4ox5jmwge

Online Adjusting Task Models for Ubiquitous Robotic Systems [chapter]

Wenshan Wang, Qixin Cao, Qiang Qiu, Gilbert Cheruiyot
2017 Advances in Intelligent Systems and Computing  
A ubiquitous robotic system for bar-tending scenario is implemented as a demonstration platform for these algorithms.  ...  A "forgetting" model is employed for this online adjustment. In the experiment, a ubiquitous robotic system is implemented for robotic bar-tending task.  ...  Acknowledgement The authors gratefully acknowledge YASKAWA Electric Corporation for supporting the collaborative research funds under the project of "Research and Development of Key Technologies for Smart  ... 
doi:10.1007/978-3-319-48036-7_84 fatcat:dzdkhc4u6nanlp47q2vjymolz4

ProbLP

Nimish Shah, Laura I. Galindez Olascoaga, Wannes Meert, Marian Verhelst
2019 Proceedings of the 56th Annual Design Automation Conference 2019 on - DAC '19  
To address this, we propose ProbLP, a framework that automates the analysis and design of low-precision probabilistic inference hardware.  ...  Bayesian reasoning is a powerful mechanism for probabilistic inference in smart edge-devices. During such inferences, a low-precision arithmetic representation can enable improved energy efficiency.  ...  However, the bounds derived so far, apply only to a single AC evaluation. Some types of probabilistic queries require a combination of multiple AC evaluations.  ... 
doi:10.1145/3316781.3317885 dblp:conf/dac/ShahOMV19 fatcat:kropzhmqrfg4hhl3lvoi7xuecy

Further steps towards efficient runtime verification: Handling probabilistic cost models

Antonio Filieri, Carlo Ghezzi
2012 2012 First International Workshop on Formal Methods in Software Engineering: Rigorous and Agile Approaches (FormSERA)  
We consider high-level models that specify system behaviors probabilistically and support the specification of cost attributes.  ...  We have previously presented an approach to support efficient runtime probabilistic model checking of DTMCs for properties expressed in PCTL.  ...  The total number of test cases is 4132. Even for the largest systems, the WM maximum execution time did not exceed 50s.  ... 
doi:10.1109/formsera.2012.6229785 dblp:conf/icse/FilieriG12 fatcat:ttn4adzx65fzlgouepeiv4dope

GPSAF: A Generalized Probabilistic Surrogate-Assisted Framework for Constrained Single- and Multi-objective Optimization [article]

Julian Blank, Kalyanmoy Deb
2022 arXiv   pre-print
The exploration and exploitation of surrogates are automatically balanced by performing a probabilistic knockout tournament among different clusters of solutions.  ...  Thus this paper proposes a generalized probabilistic surrogate-assisted framework (GPSAF), applicable to a broad category of unconstrained and constrained, single- and multi-objective optimization algorithms  ...  This conveniently provides a ranking for each test problem. To evaluate the performance of a method on a test suite, we finally average the ranks across problems.  ... 
arXiv:2204.04054v1 fatcat:gj6tewpabnci3nitw3rpzaq7zi

Probabilistic Modelling of Morphologically Rich Languages [article]

Jan A. Botha
2015 arXiv   pre-print
This thesis investigates how the sub-structure of words can be accounted for in probabilistic models of language.  ...  In the context of n-gram language modelling, we formulate a new Bayesian model that relies on the decomposition of compound words to attain better smoothing, and we develop a new distributed language model  ...  One measure for the suitability of such tokenisation is how readily an NLP system would encounter a token not observed in the corpus of text it was trained on.  ... 
arXiv:1508.04271v1 fatcat:6qhsfdbvt5emfiaumtwh2pzs7m

Hardware accelerated protein inference framework [article]

S.M. Vidanagamachchi, S.D. Dewasurendra, R.G. Ragel
2014 arXiv   pre-print
In our framework, identified peptides and their probabilities are used to predict the most suitable reference protein cluster for a given input amino acid sequence with the probability of identified peptides  ...  This paper presents a framework for protein inference, which uses hardware accelerated protein inference framework for handling the most important step in a bottom-up approach, viz. peptide identification  ...  RESULTS AND DISCUSSION We have tested the corresponding reference protein sequences to validate of our system.  ... 
arXiv:1403.1319v1 fatcat:rb6mcmljm5e4nnj2zl5htlatca

ROC curve, lift chart and calibration plot

Miha Vuk, Tomaž Curk
2006 Metodološki zvezki. Advances in methodology and statistics  
Here, we give a brief survey of the methods and establish a common mathematical framework which adds some new aspects, explanations and interrelations between these techniques.  ...  This paper presents ROC curve, lift chart and calibration plot, three well known graphical techniques that are useful for evaluating the quality of classification models used in data mining and machine  ...  Blaž Zupan for the initial idea and help. The work done by T.C. was supported by Program and Project grants from the Slovenian Research Agency.  ... 
doi:10.51936/noqf3710 fatcat:o6ezxd527ba7hikgbh3aujykiu

A 5.4 $\mu{\rm W}$ Soft-Decision BCH Decoder for Wireless Body Area Networks

Chia-Hsiang Yang, Ting-Ying Huang, Mao-Ruei Li, Yeong-Luh Ueng
2014 IEEE Transactions on Circuits and Systems Part 1: Regular Papers  
Probabilistic sorting is proposed to determine the test patterns, and its hardware complexity is only 54.7% of the conventional sorting method.  ...  An early termination strategy is proposed to reduce the number of redundant test patterns.  ...  The decoder architecture presented in [18] is well suited for BCH codes with a moderate error-correction capability.  ... 
doi:10.1109/tcsi.2014.2312478 fatcat:whuxo2suojd3zldbgmv7ebeaka

Extending Refusal Testing by Stochastic Refusals for Testing Non-deterministic Systems [article]

Kenza Bouaroudj, Ilham Kitouni, Hiba Hachichi, Djamel-Eddine Saidouni
2012 arXiv   pre-print
This paper addresses,a formal testing based on stochastic refusals graphs (SRG) in order to test stochastic system represented by maximality-based labeled stochastic transition systems (MLSTS).  ...  Testing is a validation activity used to check the system's correctness with respect to the specification.  ...  [15] Let Act be a finite set of actions and let DF be a finite set of probabilistic distributed functions ((ℜ→[0, 1]).); H is finite set of clocks variables.  ... 
arXiv:1211.2708v1 fatcat:ewn32jotgbfq3gccz2t2i4a3s4

Probabilistic system-on-a-chip architectures

Lakshmi N. Chakrapani, Pinar Korkmaz, Bilge E. S. Akgul, Krishna V. Palem
2007 ACM Transactions on Design Automation of Electronic Systems  
To respond to this need, in this article, we introduce and study an entirely novel family of probabilistic architectures: the probabilistic system-on-a-chip (PSOC).  ...  factor of over 560 when compared to a competing energy-efficient CMOS-based realization.  ...  However, the energy consumed by PCMOS devices are derived from actual measurements from a PCMOS test chip.  ... 
doi:10.1145/1255456.1255466 fatcat:ie3kqubut5hhxdi6qceevvo7gy

Model Learning and Model-Based Testing [chapter]

Bernhard K. Aichernig, Wojciech Mostowski, Mohammad Reza Mousavi, Martin Tappler, Masoumeh Taromirad
2018 Lecture Notes in Computer Science  
Learning can hence be used to create and complement models for model-based testing. We refer to this category of work as learning-based testing [MS11].  ...  However, this classification gives us a general overview and a measure of matching between different learning and testing techniques. 2.  ...  The insightful comments of Karl Meinke and Neil Walkinshaw on an earlier draft led to improvements and are gratefully acknowledged. The  ... 
doi:10.1007/978-3-319-96562-8_3 fatcat:qrz24l2twrh5rp7ltpyxo4ooii

An Assertion-Based Program Logic for Probabilistic Programs [chapter]

Gilles Barthe, Thomas Espitau, Marco Gaboardi, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub
2018 Lecture Notes in Computer Science  
We also show that Ellora allows convenient reasoning about complex probabilistic concepts by developing a new program logic for probabilistic independence and distribution law, and then smoothly embedding  ...  This is the conference version of the paper. 1 Treating a program as a function from input states s to output distributions μ(s), the expected value of E on μ(s) is an expectation.  ...  We thank the reviewers for their helpful comments. This work benefited from discussions with Dexter Kozen, Annabelle McIver, and Carroll Morgan.  ... 
doi:10.1007/978-3-319-89884-1_5 fatcat:vuxgmjepovgslhqggyidblsyxe

Producing software by integration: challenges and research directions (keynote)

Paola Inverardi, Marco Autili, Davide Di Ruscio, Patrizio Pelliccione, Massimo Tivoli
2013 Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2013  
Moreover, we (i) discuss important challenges that must be faced while producing the kind of systems we are targeting, (ii) give an overview of the state of art related to the identified challenges, and  ...  Therefore, on one side a software producer will less and less know the precise behaviour of a third party software service, on the other side she will need to use it to build her own application.  ...  For the sake of the scenario, the enhanced version of StrawBerry shall produce the probabilistic automata shown in Figure 4 .(a-d).  ... 
doi:10.1145/2491411.2505428 dblp:conf/sigsoft/InverardiARPT13 fatcat:snyk6cnyffbehmhnortmbtq6z4
« Previous Showing results 1 — 15 out of 5,915 results