Sciweavers

2623 search results - page 352 / 525
» Hoare Logic in the Abstract
Sort
View
EUSFLAT
2009
162views Fuzzy Logic» more  EUSFLAT 2009»
14 years 8 months ago
Early Start Can Inhibit Learning: Towards A New Explanation
The age at which we teach different topics change. If it turns out that students do not learn, say, reading by the time they should, a natural idea is to start teaching them earlie...
Olga Kosheleva
92
Voted
EUSFLAT
2009
142views Fuzzy Logic» more  EUSFLAT 2009»
14 years 8 months ago
Multi-Dimensional Scaling applied to Hierarchical Rule Systems
Abstract-- This paper presents an approach for visualizing highdimensional fuzzy rules arranged in a hierarchy together with the training patterns they cover. A standard multi-dime...
Thomas R. Gabriel, Kilian Thiel, Michael R. Bertho...
EUSFLAT
2009
141views Fuzzy Logic» more  EUSFLAT 2009»
14 years 8 months ago
An Experimental Study on the Interpretability of Fuzzy Systems
Abstract-- Interpretability is one of the most significant properties of Fuzzy Systems which are widely acknowledged as gray boxes against other Soft Computing techniques such as N...
José M. Alonso, Luis Magdalena
84
Voted
EUSFLAT
2009
175views Fuzzy Logic» more  EUSFLAT 2009»
14 years 8 months ago
The Minimization of the Risk of Falling in Portfolios under Uncertainty
Abstract-- A portfolio model to minimize the risk of falling under uncertainty is discussed. The risk of falling is represented by the value-at-risk of rate of return. Introducing ...
Yuji Yoshida
193
Voted
AMCS
2011
341views Mathematics» more  AMCS 2011»
14 years 5 months ago
FSP and FLTL framework for specification and verification of middle-agents
Agents are a useful abstraction frequently employed as a basic building block in modeling service, information and resource sharing in global environments. The connecting of reques...
Amelia Badica, Costin Badica