A probabilistic language based upon sampling functions
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Monte Carlo-Alternative Probabilistic Simulations for Analog Systems
ISQED '06 Proceedings of the 7th International Symposium on Quality Electronic Design
ACM Computing Surveys (CSUR)
Formalization of the Standard Uniform random variable
Theoretical Computer Science
Nonlinear system identification: From multiple-model networks to Gaussian processes
Engineering Applications of Artificial Intelligence
Formal Probabilistic Analysis of Stuck-at Faults in Reconfigurable Memory Arrays
IFM '09 Proceedings of the 7th International Conference on Integrated Formal Methods
Probabilistic Analysis of Wireless Systems Using Theorem Proving
Electronic Notes in Theoretical Computer Science (ENTCS)
Cutset sampling for Bayesian networks
Journal of Artificial Intelligence Research
A variational inference framework for soft-in soft-out detection in multiple-access channels
IEEE Transactions on Information Theory
Cycle-cutset sampling for Bayesian networks
AI'03 Proceedings of the 16th Canadian society for computational studies of intelligence conference on Advances in artificial intelligence
Verification of probabilistic properties in HOL using the cumulative distribution function
IFM'07 Proceedings of the 6th international conference on Integrated formal methods
Unifying Conceptual Spaces: Concept Formation in Musical Creative Systems
Minds and Machines
Introducing fuzzy spatial constraints in a ranked partitioned sampling for multi-object tracking
ISVC'10 Proceedings of the 6th international conference on Advances in visual computing - Volume Part I
A new centrality measure for influence maximization in social networks
PReMI'11 Proceedings of the 4th international conference on Pattern recognition and machine intelligence
Formalization of finite-state discrete-time Markov chains in HOL
ATVA'11 Proceedings of the 9th international conference on Automated technology for verification and analysis
An empirical study of w-cutset sampling for bayesian networks
UAI'03 Proceedings of the Nineteenth conference on Uncertainty in Artificial Intelligence
Formal probabilistic analysis: a higher-order logic based approach
ABZ'10 Proceedings of the Second international conference on Abstract State Machines, Alloy, B and Z
Knowledge-Based sampling for subgroup discovery
LPD'04 Proceedings of the 2004 international conference on Local Pattern Detection
A new extension of kalman filter to non-gaussian priors
ICVGIP'06 Proceedings of the 5th Indian conference on Computer Vision, Graphics and Image Processing
Parametric annealing: A stochastic search method for human pose tracking
Pattern Recognition
| Hi-index | 0.06 |