Papers

With Tag: Probabilistic Logic

Can't find what you are looking for? Add a listing here
Sort By
(0)

Security Oriented Analysis of B92 by Model Checking

Mostafa Azizi, Mohamed Elboukhari, Abdelmalek Azizi
2008 | 10.1109/NTMS.2008.ECP.89

none

(0)

Dynamic Event/Fault Tree Analysis of Multi-agent Systems Using Galileo

Joanne Bechta Dugan, Josh Dehlinger
2008 | 10.1109/QSIC.2008.14

none

(0)

Pixel and region based temporal classification fusion for HR Satellite Image Time Series

Ferdaous Chaabane, S Rejichi
2012 | 10.1109/IGARSS.2012.6351545

none

(0)

Modelling User Behaviour for Web Recommendation Using LDA Model

Guandong Xu, Xun Yi, Yanchun Zhang
2008 | 10.1109/WIIAT.2008.313

none

(0)

Evaluating the reliability of defect-tolerant architectures for nanotechnology with probabilistic model checking

D A Parker, Marta Kwiatkowska, Gethin Norman, Sandeep K Shukla
2004 | 10.1109/ICVD.2004.1261046

none

(0)

Crowdsourced radiomap for room-level place recognition in urban environment

Minkyu Lee, Hyunil Yang, Dongsoo Han, Chansu Yu
2010 | 10.1109/PERCOMW.2010.5470515

none

(0)

A packet-loss resilient push scheduling for mesh overlays

Brigitte Kerherve, Anis Ouali, Brigitte Jaumard
2011 | 10.1109/CCNC.2011.5766554

none

(0)

A probabilistic-based approach to process model discovery

Umeshwar Dayal, Malu Castellanos, Fabio Casati
2011 | 10.1109/ICDEW.2011.5767637

none

(0)

Dynamic interaction graphs with probabilistic edge decay

Peter J Haas, Yuanyuan Tian, Andrey Balmin, Wenlei Xie, Yannis Sismanis
2015

none

(0)

Fuzzy filter design for discrete-time delayed systems with distributed probabilistic sensor faults

Ligang Wu, Xiaojie Su, Peng Shi, Hamid Reza Karimi
2013 | 10.1109/ACC.2013.6580593

none

(0)

Supervised self-organization of large homogeneous Swarms using Ergodic Projections of Markov Chains

Asok Ray, Ishanu Chattopadhyay
2009 | 10.1109/ACC.2009.5160372

none

(0)

A General Approach to the Development of Passive/Active Sensor Data Fusion

S P Chaudhuri
1985 | 10.1109/ACC.1985.4171770

none

(0)

Building an Ensemble of Probabilistic Classifiers for Lung Nodule Interpretation

Jacob Furst, Daniela Raicu, Dmitriy Zinovev
2011 | 10.1109/ICMLA.2011.44

none

(0)

A Bit-Stuffing Algorithm for Crosstalk Avoidance in High Speed Switching

Chengshang Cheng, Duanshin Lee, Tienke Huang, Jay Cheng, Xuanchao Huang
2010 | 10.1109/INFCOM.2010.5462140

none

(0)

Formal verification of the heavy hitter problem

Osman Hasan, Ghassen Helali, Sofiene Tahar
2012 | 10.1109/CCECE.2012.6335035

none

(0)

Large-scale approximate intervention strategies for Probabilistic Boolean Networks as models of gene regulation

Mehmet Tan, Faruk Polat, Reda Alhajj
2008 | 10.1109/BIBE.2008.4696698

none

(0)

Aperiodic traffic in response time analyses with adjustable safety level

Bernard Bavoux, Nicolas Navet, Dawood A Khan, Jorn Migge
2009 | 10.1109/ETFA.2009.5347149

none

(0)

Reciprocal Frank triplets in fuzzy logic

Janos Fodor
2010 | 10.1109/SOFA.2010.5565598

none

(0)

Maximizing the reliability of clustered sensor networks by a fault-tolerant service

M Mehdi Afsar
2014 | 10.1109/CCECE.2014.6901138

none

Can't find what you are looking for? Add a paper here