Sciweavers

4737 search results - page 38 / 948

» The LOGIC negotiation model

46

FUZZY
2001
Springer

139views Fuzzy Logic» more FUZZY 2001»

Neural Model Identification Using Local Robustness Analysis

14 years 1 months ago

Neural Model Identification Using Local Robustness Analysis

Download www.inf.utfsm.cl

Héctor Allende, Claudio Moraga, Rodrigo Sal...

claim paper

Read More »

38

CADE
2000
Springer

132views Logical Reasoning» more CADE 2000»

Reducing Model Checking of the Many to the Few

14 years 1 months ago

Reducing Model Checking of the Many to the Few

Download userweb.cs.utexas.edu

E. Allen Emerson, Vineet Kahlon

claim paper

Read More »

73

FUZZY
1999
Springer

600views Fuzzy Logic» more FUZZY 1999»

Fuzzy Control of a Physical Double Inverted Pendulum Model

14 years 1 months ago

Fuzzy Control of a Physical Double Inverted Pendulum Model

Download neuron-ai.tuke.sk

Ján Vascák

claim paper

Read More »

42

FUZZY
1997
Springer

133views Fuzzy Logic» more FUZZY 1997»

Local Search for Computing Normal Circumstances Models

14 years 1 months ago

Local Search for Computing Normal Circumstances Models

Download www.cril.univ-artois.fr

Bertrand Mazure, Lakhdar Sais, Éric Gr&eacu...

claim paper

Read More »

24

CADE
2001
Springer

105views Logical Reasoning» more CADE 2001»

A Model-Based Completeness Proof of Extended Narrowing and Resolution

14 years 19 days ago

A Model-Based Completeness Proof of Extended Narrowing and Resolution

Download hal.archives-ouvertes.fr

Jürgen Stuber

claim paper

Read More »

« Prev « First page 38 / 948 Last » Next »