18429 search results - page 151 / 3686 » Typing dynamic typing |
159
click to vote
EUSFLAT
2009
15 years 2 months ago
2009
Abstract-- Planning resources for a supply chain is a major factor determining its success or failure. In this paper we introduce an Interval Type-2 Fuzzy Logic model of a distribu...
141
click to vote
EUSFLAT
2009
15 years 2 months ago
2009
Neural Networks (NN), Type-1 Fuzzy Logic Systems (T1FLS) and Interval Type-2 Fuzzy Logic Systems (IT2FLS) are universal approximators, they can approximate any non-linear function....
148
Voted
FUIN
2010
15 years 2 months ago
2010
Abstract. Writing dependently typed functional programs that capture non-trivial program properties, such as those involving membership, ordering and non-linear arithmetic, is diff...
193
click to vote
ESOP
2012
Springer
14 years 20 days ago
2012
Springer
Communicating finite state machines (CFSMs) represent processes which communicate by asynchronous exchanges of messages via FIFO channels. Their major impact has been in character...
139
click to vote
CHI
2004
ACM
16 years 5 months ago
2004
ACM
An experienced user of the Twiddler, a one?handed chording keyboard, averages speeds of 60 words per minute with letter?by?letter typing of standard test phrases. This fast typing...