Sciweavers

1188 search results - page 65 / 238
» Arithmetic Fuzzy Models
Sort
View
123
Voted
CAV
2008
Springer
170views Hardware» more  CAV 2008»
15 years 7 days ago
Efficient Craig Interpolation for Linear Diophantine (Dis)Equations and Linear Modular Equations
Abstract. The use of Craig interpolants has enabled the development of powerful hardware and software model checking techniques. Efficient algorithms are known for computing interp...
Himanshu Jain, Edmund M. Clarke, Orna Grumberg
100
Voted
FSS
2011
93views more  FSS 2011»
14 years 5 months ago
Upper and lower probabilities induced by a fuzzy random variable
We review two existing interpretations of fuzzy random variables. In the first one, the fuzzy random variable is viewed as a linguistic random variable. In the second case, it re...
Inés Couso, Luciano Sánchez
81
Voted
TFS
2008
174views more  TFS 2008»
14 years 10 months ago
Type-2 Fuzzy Markov Random Fields and Their Application to Handwritten Chinese Character Recognition
In this paper, we integrate type-2 (T2) fuzzy sets with Markov random fields (MRFs) referred to as T2 FMRFs, which may handle both fuzziness and randomness in the structural patter...
Jia Zeng, Zhi-Qiang Liu
WCE
2007
14 years 11 months ago
Stock Technical Analysis using Multi Agent and Fuzzy Logic
—this paper proposes a multi agent and fuzzy logic based DSS for stock market. This system will help investors of the stock market to take the correct buy/sell/hold decisions. Th...
Ahmed Abdullah Gamil, Raafat S. Elfouly, Nevin M. ...
87
Voted
KBSE
2003
IEEE
15 years 3 months ago
Analysis of Inconsistency in Graph-Based Viewpoints: A Category-Theoretic Approach
Eliciting the requirements for a proposed system typically involves different stakeholders with different expertise, responsibilities, and perspectives. Viewpoints-based approache...
Mehrdad Sabetzadeh, Steve M. Easterbrook