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.
E. Karabaev, и O. Skvortsova. Proceedings of the 21th International Conference on Uncertainty in Artificial Intelligence (UAI-05), стр. 292--299. Edinburgh, Scotland, AUAI Press, (июля 2005)
N. Rotstein, S. Gottifredi, A. Garc\'ıa, и G. Simari. Scalable Uncertainty Management - 5th International Conference, SUM
2011, Dayton, OH, USA, October 10-13, 2011. Proceedings, стр. 177--190. (2011)