Temat: recursive programming

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę "recursive programming" wg kryterium: Temat

Wyświetlanie 1-9 z 9

Zaznacz

Skocz do pozycji: 1.

Tytuł:: There and Back Again
Autorzy:: Danvy, O.
Goldberg, M.
Data publikacji:: 2005
Słowa kluczowe:: recursive programming
continuations
defunctionalization
There And Back Again
TABA; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Proof Methods for Corecursive Programs
Autorzy:: Gibbons, J.
Hutton, G.
Data publikacji:: 2005
Słowa kluczowe:: recursion theory
symbolic
mathematical logic
computer programming
approximation theory
recursive programming; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: CoCaml: Functional Programming with Regular Coinductive Types
Autorzy:: Jeannin, J.-B.
Kozen, D.
Silva, A.
Data publikacji:: 2017
Słowa kluczowe:: functional programming
coinductive types
recursive types
coalgebra; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Cut Points in PEG
Autorzy:: Redziejowski, R. R.
Data publikacji:: 2016
Słowa kluczowe:: parsing
expression
backtrack programming
recursive functions
data analysis; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Evaluating Answer Set Programming with Non-Convex Recursive Aggregates
Autorzy:: Alviano, M.
Data publikacji:: 2016
Słowa kluczowe:: answer set programming
aggregation function
nonconvex recursive aggregates; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Learning Recursive Theories in the Normal ILP Setting
Autorzy:: Malerba, D.
Data publikacji:: 2003
Słowa kluczowe:: machine learning
inductive logic programming
learning recursive theories
multiple predicate learning; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: An optimal design of non-causal recursive digital filters with zero phase shift using Chebyshev approximation and linear programming
Autorzy:: Mouffak, Adnane
Data publikacji:: 2021
Słowa kluczowe:: non-causal recursive digital filter
linear programming
Chebyshev approximation
optimization
zero phase shift
filtry cyfrowe
projektowanie
aproksymacja Czebyszewa; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: On Completeness of Cost Metrics and Meta-Search Algorithms in $-Calculus
Autorzy:: Eberbach, Eugene
Tematy:: automatic problem solving
automatic programming
undecidability
intractablity
recursive algorithms
recursively enumerable but not recursive algorithms
non-recursively enumerable algorithms
super-Turing computation
super-recursive algorithms
p-decidability
e-decidability
a-decidability
i-decidability
reduction techniques
U-completeness
D-completeness
H-completeness
$-calculus
cost metrics completeness
meta-search algorithms completeness; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: On completeness of cost metrics and meta-search algorithms in $-Calculus
Autorzy:: Eberbach, Eugene
Data publikacji:: 2023
Słowa kluczowe:: automatic problem solving
automatic programming
undecidability
intractablity
recursive algorithms
recursively enumerable but not recursive algorithms
non-recursively enumerable algorithms
super-Turing computation
super-recursive algorithms
p-decidability
e-decidability
a-decidability
i-decidability
reduction techniques
U-completeness
D-completeness
H-completeness
$-calculus
cost metrics completeness
meta-search algorithms completeness; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Wyświetlanie 1-9 z 9

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies

Informacja

Wyszukujesz frazę "recursive programming" wg kryterium: Temat