Since artificial neural networks allow modeling of nonlinear processes, they have turned into a very popular and useful tool for solving many problems such as classification, clustering, regression…
2020-2021 International Conferences in Artificial Intelligence, Machine Learning, Computer Vision, Data Mining, Natural Language Processing and Robotics
We introduce a new lambda calculus with futures, Lambda(fut), that models the operational semantics of concurrent statically typed functional programming languages with mixed eager and lazy threads such as Alice ML, a concurrent extension of Standard ML. Lambda(fut) is a minimalist extension of the call-by-value lambda-calculus that is sufficiently expressive to define and combine a variety of standard concurrency abstractions, such as channels, semaphores, and ports. Despite its minimality, the basic machinery of Lambda(fut) is sufficiently powerful to support explicit recursion and call-by-need evaluation. We present a static type system for Lambda(fut) and distinguish a fragment of Lambda(fut) that we prove to be uniformly confluent. This result confirms our intuition that reference cells are the sole source of indeterminism.
D. Brown, A. Garmendia-Doval, и J. McCall. Selected papers from the 2nd Scottish Functional
Programming Workshop (SFP00), стр. 27--38. Exeter, UK, UK, Intellect Books, (2000)
J. Vennekens, и S. Verbaeten. Proceedings 15th Belgian-Dutch Conference on Artificial Intelligence (BNAIC-03), Kasteel Heyendael, Nijmegen, The Netherlands, (октября 2003)
D. Kulp, D. Haussler, {. Reese, и {. Eeckman. Proceedings of the Fourth International Conference on Intelligent Systems for Molecular Biology (ISMB-96), стр. 134--142. St. Louis, MO, USA, AAAI, (июля 1996)
Y. Kameya, N. Ueda, и T. Sato. Proceedings of the Second International Conference on Discovery Science (DS-99), том 1721 из LNAI, стр. 254--276. Kanagawa, Japan, Springer-Verlag, (1999)