Papers

With Tag: Probabilistic Logic

Can't find what you are looking for? Add a listing here
Sort By
(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

(0)

A probabilistic hybrid logic for sanitized information systems

Churnjung Liau, Dawei Wang, Tsansheng Hsu
2012 | 10.1007/978-3-642-33362-0_38

none

(0)

Symmetry reduction for stochastic hybrid systems

Manuela L Bujorianu, Joostpieter Katoen
2008 | 10.1109/CDC.2008.4739086

none

(0)

Optimized Position Based Gossiping in VANETs

Frank Kargl, Michael Weber, Elmar Schoch, Boto Bako
2008 | 10.1109/VETECF.2008.449

none

(0)

Linear systems with chance constraints: Constraint-admissible set and applications in predictive control

Melvyn Sim, Chongjin Ong, Chen Wang
2009 | 10.1109/CDC.2009.5400339

none

(0)

Probabilistic bisimulations of switching and resetting diffusions

Alessandro Abate
2010 | 10.1109/CDC.2010.5717751

none

(0)

On bounded message replication in delay tolerant networks

Muhammad Tasnim Mohiuddin, Md Yusuf Sarwar Uddin, Md Nazmus Sadat
2015

none

(0)

Brain tissue segmentation in PET-CT images using probabilistic atlas and variational Bayes inference

Jiabin Wang, David Dagan Feng, Stefan Eberl, Michael Fulham, Yong Xia
2011 | 10.1109/IEMBS.2011.6091965

none

(0)

Textual Document Clustering Using Topic Models

Xiaoping Sun
2014 | 10.1109/SKG.2014.27

none

(0)

The Meaning of Semantics

Prakash Panangaden
2011 | 10.1109/LICS.2011.30

none

(0)

Sifting through Network Data to Cull Activity Patterns with HEAPs

Yu Jin, Zhili Zhang, Nan Jiang, Esam Sharafuddin
2010 | 10.1109/ICDCS.2010.65

none

(0)

A partial approach to model checking

Patrice Godefroid, Pierre Wolper
1991

none

(0)

Dynamic scene models for incremental, long-term, appearance-based localisation

Edward Johns, Guangzhong Yang
2013 | 10.1109/ICRA.2013.6630953

none

(0)

An explorative and exploitative mutation scheme

Peter C Nelson, Fatemeh Vafaee
2010 | 10.1109/CEC.2010.5586142

none

(0)

Ant colony optimization technique to solve the min-max Single Depot Vehicle Routing Problem

K S V Narasimha, Manoj Kumar, Elad Kivelevitch
2011 | 10.1109/ACC.2012.6315583

none

(0)

Binary particle swarm optimisation and rough set theory for dimension reduction in classification

Liam Cervante, Bing Xue, Mengjie Zhang, Lin Shang
2013 | 10.1109/CEC.2013.6557860

none

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