Zobrazeno 1 - 10
of 4 339
pro vyhledávání: '"Functional logic programming"'
Autor:
Thomas J. Anastasio
Publikováno v:
Encyclopedia of Computational Neuroscience ISBN: 9781461473206
Encyclopedia of Computational Neuroscience
Encyclopedia of Computational Neuroscience
Themain technique in Computational Neuroscience is imperative programming, which is often used to implement simulations of dynamics, and describes how a computation is performed. A complement to this approach is declarative programming. Declarations
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b5155b72f0f48979a000e87ef8b29e5a
https://doi.org/10.1007/978-1-0716-1006-0_749
https://doi.org/10.1007/978-1-0716-1006-0_749
Publikováno v:
PPDP
The declarative programming language Curry amalgamates demand-driven evaluation from functional programming with non-determinism from logic programming. In contrast to Prolog, the search strategy for non-deterministic computations is not fixed so tha
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9095087d2057642d0417ed57669ac5a2
https://doi.org/10.1145/3479394.3479411
https://doi.org/10.1145/3479394.3479411
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Michael Hanus, Finn Teegen
Publikováno v:
Functional and Constraint Logic Programming ISBN: 9783030753320
WFLP
WFLP
Pull-tabbing is an evaluation technique for functional logic programs which computes all non-deterministic results in a single graph structure. Pull-tab steps are local graph transformations to move non-deterministic choices towards the root of an ex
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1d2cfce1dd6e3858d3f6ab25fb2cb5be
https://doi.org/10.1007/978-3-030-75333-7_4
https://doi.org/10.1007/978-3-030-75333-7_4
Autor:
Stefan M. Stefanov
Publikováno v:
Separable Optimization ISBN: 9783030784003
Applied Optimization ISBN: 9781441948519
Applied Optimization ISBN: 9781441948519
This chapter is devoted to the dynamic programming approach for solving (separable) programs for both discrete and continuous cases. The Lagrange multipliers method for reducing the dimensionality of the problem is discussed, and some separable and o
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a110b9f0e043c906625e138578cd66d3
Autor:
Dylus, Sandra
This thesis investigates effectful declarative programming with an emphasis on non-determinism as an effect. On the one hand, we are interested in developing applications using non-determinism as underlying implementation idea. We discuss two applica
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______660::31a114c352f3129b98a1aaed00649538
https://macau.uni-kiel.de/receive/macau_mods_00000540
https://macau.uni-kiel.de/receive/macau_mods_00000540
Autor:
Kazunori Ueda
Publikováno v:
Science of Computer Programming. 164:3-17
The technical goal of the Fifth Generation Computer Systems (FGCS) project (1982–1993) was to develop Parallel Inference technologies, namely systematized technologies for realizing knowledge information processing on top of parallel computer archi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5ac2d7784ce3ce845ef6173e12bf75ec
https://doi.org/10.1016/j.scico.2017.06.002
https://doi.org/10.1016/j.scico.2017.06.002
Publikováno v:
PPDP
We consider the problem of concisely representing and handling preferences in logic programming and relational databases. Our starting point is the well-known proposal developed in [2] which advocates the embedding of first-order preference formulas
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a6cbc9c0fc33a4ade769398aa3fd26fd
https://doi.org/10.1016/j.scico.2017.09.002
https://doi.org/10.1016/j.scico.2017.09.002
Publikováno v:
IEEE Transactions on Software Engineering. 43:1125-1143
Starting from the first investigations with strictly functional languages, reactive programming has been proposed as the programming paradigm for reactive applications. Over the years, researchers have enriched reactive languages with more powerful a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::255cb8ce805382a4b85bf1a36eb9e993
https://doi.org/10.1109/tse.2017.2655524
https://doi.org/10.1109/tse.2017.2655524