Sciweavers

1420 search results - page 66 / 284
» Decision Making Using Probabilistic Inference Methods
Sort
View
LICS
1999
IEEE
15 years 2 months ago
A Superposition Decision Procedure for the Guarded Fragment with Equality
We give a new decision procedure for the guarded fragment with equality. The procedure is based on resolution with superposition. We argue that this method will be more useful in ...
Harald Ganzinger, Hans de Nivelle
IAT
2010
IEEE
14 years 7 months ago
Possibility Degree Method for Ranking Intuitionistic Fuzzy Numbers
Abstract--In this paper, we study the method of ranking intuitionistic fuzzy numbers. Firstly a possibility degree formula is defined to compare two intuitionistic fuzzy numbers. W...
Cui-Ping Wei, Xijin Tang
HICSS
2007
IEEE
138views Biometrics» more  HICSS 2007»
15 years 4 months ago
A Probabilistic Graphical Approach to Computing Electricity Price Duration Curves under Price and Quantity Competition
Abstract— The electricity price duration curve (EPDC) represents the probability distribution function of the electricity price considered as a random variable. The price uncerta...
Pascal Michaillat, Shmuel S. Oren
ACL
2004
14 years 11 months ago
Alternative approaches for Generating Bodies of Grammar Rules
We compare two approaches for describing and generating bodies of rules used for natural language parsing. In today's parsers rule bodies do not exist a priori but are genera...
Gabriel G. Infante López, Maarten de Rijke
ECCV
2008
Springer
15 years 11 months ago
Efficiently Learning Random Fields for Stereo Vision with Sparse Message Passing
As richer models for stereo vision are constructed, there is a growing interest in learning model parameters. To estimate parameters in Markov Random Field (MRF) based stereo formu...
Jerod J. Weinman, Lam Tran, Christopher J. Pal