Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 225,587,941 papers from all fields of science
Search
Sign In
Create Free Account
Function type
Known as:
Function space types
, Function-space constructor
, Arrow type
Expand
In computer science, a function type (or arrow type or exponential) is the type of a variable or parameter to which a function has or can be assigned…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
36 relations
C++
C++11
Cartesian closed category
Closure (computer programming)
Expand
Broader (1)
Type theory
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Model predictive control of a laboratory gas turbine
S. Surendran
,
Ritesh Chandrawanshi
,
S. Kulkarni
,
S. Bhartiya
,
P. Nataraj
,
S. Sampath
International Conference on Intelligent Cloud…
2016
Corpus ID: 39695740
This paper deals with the control of a laboratory gas turbine using model predictive control (MPC). The objective is to control…
Expand
2012
2012
Detection & classification of arrow markings on roads using signed edge signatures
S. Sathyanarayana
,
R. Satzoda
,
T. Srikanthan
IEEE Intelligent Vehicles Symposium
2012
Corpus ID: 15465570
In this paper, we propose a novel method to robustly identify and classify arrow markings in road images. In the proposed method…
Expand
2011
2011
Modular neural network programming with genetic optimization
Hsing-Chih Tsai
,
Yong-Huang Lin
Expert systems with applications
2011
Corpus ID: 207586548
Highly Cited
2010
Highly Cited
2010
Predicting discharge capacity of triangular labyrinth side weir located on a straight channel by using an adaptive neuro-fuzzy technique
M. Emiroglu
,
Ö. Kisi
,
Omer Bilhan
Advances in Engineering Software
2010
Corpus ID: 32934608
2010
2010
An existence theorem of a positive solution to a semipositone Sturm-Liouville boundary value problem
Q. Yao
Applied Mathematics Letters
2010
Corpus ID: 27126599
2007
2007
Bäcklund transformation, Lax pairs and explicit exact solutions for the shallow water waves equation
Y. Shang
Applied Mathematics and Computation
2007
Corpus ID: 34830318
2002
2002
A new approach for designing TSK fuzzy systems from input-output data
A. Sonbol
,
M. S. Fadali
Proceedings of the American Control Conference…
2002
Corpus ID: 1777177
We propose a new approach for determining fuzzy membership functions for system inputs and outputs and for defining the rule base…
Expand
2000
2000
Garbage Collection Based on a Linear Type System
Atsushi Igarashi
,
N. Kobayashi
2000
Corpus ID: 16279984
We propose a type-directed garbage collection (GC) scheme for a programming language with static memory management based on a…
Expand
1991
1991
Data Analysis Using G/Splines
D. Rogers
Neural Information Processing Systems
1991
Corpus ID: 36118314
G/SPLINES is an algorithm for building functional models of data. It uses genetic search to discover combinations of basis…
Expand
1979
1979
An exact penalty function algorithm for solving general constrained parameter optimization problems
W. Gesing
,
E. Davison
at - Automatisierungstechnik
1979
Corpus ID: 13051402
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE