Papers

With Tag: Probabilistic Logic

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

(0)

RSS-based relative localization and tethering for moving robots in unknown environments

Manuela M Veloso, Stefan Zickler
2010 | 10.1109/ROBOT.2010.5509975

none

(0)

A possibilistic approach to sensor fusion in mobile robotics

Gaetano Trainito, Gaetano Chemello, Claudio Sossai, Paolo Bison
1997 | 10.1109/EURBOT.1997.633579

none

(0)

Second-Ordered Reputation and Incentive Mechanism in Ad Hoc Networks

Kun Yu, Jianhong Chen
2011 | 10.1109/MINES.2011.75

none

(0)

IQ P : Incremental query construction, a probabilistic approach

Xuan Zhou, Wolfgang Nejdl, Elena Demidova
2010 | 10.1109/ICDE.2010.5447929

none

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