Buscas alternativas:
algorithms » algorithm (Expandir a busca)
Mostrando 1 - 20 resultados de 7.133 para a busca 'algorithms _ (program OR programa)', tempo de busca: 0,18s

1

Assuntos: ...Síntese de programas...

Program synthesis from denotational semantics

Publicado em 2016
Dissertação

5

... in this work include synthetic and real data, these verify the efectiveness of the proposed algorithms...

Data-selection in learning algorithms

Publicado em 2020
Dissertação

8

...Tese (doutorado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós...

Message encoding algorithms for Winternitz signatures

Publicado em 2021
Tese

10

...Binarization algorithms are essential for document processing, analysis, compression, and...

Assessing binarization algorithms for document images

Publicado em 2024
Tese

11

... data. This research proposes four new families of batch SOM algorithms for relational data represented...

Batch som algorithms for dissimilarity data

Publicado em 2023
Tese

12

..., these algorithms were attacked by Wouter Castryck and Thomas Decru with Kani’s theorem a few months ago...

Cryptographic algorithms based on Ramanujan graphs

Publicado em 2023
Tese

13

... sintática do código. Para evoluir famílias de programas de forma segura, foram propostas duas estratégias...

An approach to safely evolve preprocessor-based C program families.

Publicado em 2016
Tese

14

... sintática do código. Para evoluir famílias de programas de forma segura, foram propostas duas estratégias...

An approach to safely evolve preprocessor-based C program families.

Publicado em 2016
Tese

15

..., of which CO2 is the most significant. Machine Learning (ML) algorithms are generally evaluated and...

Performance and energy efficiency analysis of machine learning algorithms towards green al: a case study of decision tree algorithms

Publicado em 2021
Dissertação

16

Assuntos: ...Dynamic algorithms...

Controle de granularidade com threads em programas MPI dinâmicos

Publicado em 2009
Dissertação

17

...-se uma tarefa humanamente inviável. Um assistente de provas é um programa cuja finalidade é realizar...

[en] FORMALIZATION OF CRYPTOGRAPHY ALGORITHMS IN AN INTERACTIVE THEOREM PROVER

Publicado em 2018
Tese

20

... algorithm reductions or by approximation algorithms with provably performance guarantees. Finally, the...

Probabilistic Risk Assessment in Clouds: Models and Algorithms

Publicado em 2012
Dissertação