Sciweavers

17054 search results - page 41 / 3411

» Logics of Dynamical Systems

77

FUZZY
1999
Springer

281views Fuzzy Logic» more FUZZY 1999»

Similarity Based System Reconfiguration by Fuzzy Classification and Hierarchical Interpolate Fuzzy Reasoning

14 years 2 months ago

Similarity Based System Reconfiguration by Fuzzy Classification and Hierarchical Interpolate Fuzzy Reasoning

Download users.iit.uni-miskolc.hu

Szilveszter Kovács

claim paper

Read More »

40

CADE
1998
Springer

143views Logical Reasoning» more CADE 1998»

System Description: LEO - A Higher-Order Theorem Prover

14 years 2 months ago

System Description: LEO - A Higher-Order Theorem Prover

Download www.ags.uni-sb.de

Christoph Benzmüller, Michael Kohlhase

claim paper

Read More »

29

CADE
2006
Springer

126views Logical Reasoning» more CADE 2006»

System Description: GCLCprover + GeoThms

14 years 1 months ago

System Description: GCLCprover + GeoThms

Download www.mat.uc.pt

Predrag Janicic, Pedro Quaresma

claim paper

Read More »

25

EUSFLAT
2009

95views Fuzzy Logic» more EUSFLAT 2009»

Training a Personal Alert System for Research Information Recommendation

13 years 7 months ago

Training a Personal Alert System for Research Information Recommendation

Download www.cwi.ugent.be

Germán Hurtado Martín, Chris Corneli...

claim paper

Read More »

31

EUSFLAT
2009

112views Fuzzy Logic» more EUSFLAT 2009»

Coevolutionary Genetic Fuzzy System to Assess Multiagent Bidding Strategies in Electricity Markets

13 years 7 months ago

Coevolutionary Genetic Fuzzy System to Assess Multiagent Bidding Strategies in Electricity Markets

Download www.eusflat.org

Igor Walter, Fernando A. C. Gomide

claim paper

Read More »

« Prev « First page 41 / 3411 Last » Next »