Temat: type inference - Prolib Integro

Skocz do pozycji: 1.

Tytuł:: Rank 2 Intersection for Recursive Definitions
Autorzy:: Damiani, F.
Data publikacji:: 2007
Słowa kluczowe:: type inference
principal typings
polymorphic recursion; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: FLC control for tuning exploration phase in bio-inspired metaheuristic
Autorzy:: Kiełkowicz, K.
Grela, D.
Data publikacji:: 2016
Wydawca:: Uniwersytet Marii Curie-Skłodowskiej. Wydawnictwo Uniwersytetu Marii Curie-Skłodowskiej
Tematy:: Bat algorithm
swarm intelligence
metaheuristics
optimization
fuzzy logic
Mamdami-Type inference system; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: FLC control for tuning exploration phase in bio-inspired metaheuristic
Autorzy:: Kiełkowicz, K.
Grela, D.
Data publikacji:: 2016
Słowa kluczowe:: Bat algorithm
swarm intelligence
metaheuristics
optimization
fuzzy logic
Mamdami-Type inference system; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Deriving Efficient Sequential and Parallel Generators for Closed Simply-Typed Lambda Terms and Normal Forms
Autorzy:: Tarau, Paul
Data publikacji:: 2020
Słowa kluczowe:: simply-typed lambda terms
normal forms
parallel combinatorial generation algorithms
sequential combinatorial generation algorithms
type inference
prolog multi-threadinglogic programming transformations; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Hybrid Learning of Interval Type-2 Fuzzy Systems Based on Orthogonal Least Squares and Back Propagation for Manufacturing Applications
Autorzy:: Mendez, G.
Hernandez, A.
Data publikacji:: 2008
Słowa kluczowe:: type-2 fuzzy inference systems
type-2 neuro-fuzzy systems
hybrid learning
uncertain rule-based fuzzy logic systems; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Hybrid Learning of Interval Type-2 Fuzzy Systems Based on Orthogonal Least Squares and Back Propagation for Manufacturing Applications
Autorzy:: Mendez, G.
Hernandez, A.
Data publikacji:: 2008
Wydawca:: Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:: type-2 fuzzy inference systems
type-2 neuro-fuzzy systems
hybrid learning
uncertain rule-based fuzzy logic systems; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Optimal Intelligent Control for HVAC Systems
Autorzy:: Khooban, M. H.
Soltanpour, M. R.
Abadie, D. N. M.
Esfahani, Z.
Data publikacji:: 2012
Słowa kluczowe:: HVAC Systems
Sugeno-Type Fuzzy Inference
Fuzzy Proportional-Integral-Derivative Controller (OFPIDC)
random inertia weight Particle Swarm Optimization (RNW-PSO)
systemy HVAC
wnioskowanie rozmyte
Sugeno
OFPIDC
RNW-PSO
optymalizacja roju cząstek; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Coinductive axiomatization of recursive type equality and subtyping
Autorzy:: Brandt, M.
Henglein, F.
Data publikacji:: 1998
Słowa kluczowe:: subtyping
type equality
recursive type
coercion
coinduction
operational interpretation
axiomatization
inference system
inference rule
fixpoint; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Type Theories and Lexical Networks : using Serious Games as the basis for Multi-Sorted Typed Systems
Autorzy:: Chatzikyriakidis, S.
Lafourcade, M.
Ramadier, L.
Zarrouk, M.
Data publikacji:: 2017
Słowa kluczowe:: lexical networks
JeuxDeMots
type theory
type ontologies
formal semantics
natural language inference; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: Type Theories and Lexical Networks : using Serious Games as the basis for Multi-Sorted Typed Systems
Autorzy:: Chatzikyriakidis, S.
Lafourcade, M.
Ramadier, L.
Zarrouk, M.
Data publikacji:: 2017
Wydawca:: Polska Akademia Nauk. Instytut Podstaw Informatyki PAN
Tematy:: lexical networks
JeuxDeMots
type theory
type ontologies
formal semantics
natural language inference; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Informacja

Wyszukujesz frazę "type inference" wg kryterium: Temat