Zobrazeno 1 - 10
of 24
pro vyhledávání: '"Bessa, Iury V."'
Autor:
Martins-Gomes, Marcus C., de C. Ayres Junior, Florindo A., da Costa Junior, Carlos T., de Bessa, Iury V., da S. Farias, Nei Junior, de Medeiros, Renan L.P., Silva, Luiz E.S., de Lucena Júnior, Vicente F.
Publikováno v:
In ISA Transactions October 2024 153:420-432
Artificial Neural networks (ANNs) are powerful computing systems employed for various applications due to their versatility to generalize and to respond to unexpected inputs/patterns. However, implementations of ANNs for safety-critical systems might
Externí odkaz:
http://arxiv.org/abs/1907.12933
Autor:
Araújo, Rodrigo F., Ribeiro, Alexandre, Bessa, Iury V., Cordeiro, Lucas C., Filho, João E. C.
We describe and evaluate a novel optimization-based off-line path planning algorithm for mobile robots based on the Counterexample-Guided Inductive Optimization (CEGIO) technique. CEGIO iteratively employs counterexamples generated from Boolean Satis
Externí odkaz:
http://arxiv.org/abs/1708.04028
Autor:
de Mello, Daniel P. M., de Freitas, Mauro L., Cordeiro, Lucas C., Junior, Waldir S. S., de Bessa, Iury V., Filho, Eddie B. L., Clavier, Laurent
In the digital signal processing (DSP) area, one of the most important tasks is digital filter design. Currently, this procedure is performed with the aid of computational tools, which generally assume filter coefficients represented with floating-po
Externí odkaz:
http://arxiv.org/abs/1706.05088
Autor:
Araujo, Rodrigo F., Albuquerque, Higo F., de Bessa, Iury V., Cordeiro, Lucas C., Filho, Joao Edgar C.
This paper describes three variants of a counterexample guided inductive optimization (CEGIO) approach based on Satisfiability Modulo Theories (SMT) solvers. In particular, CEGIO relies on iterative executions to constrain a verification procedure, i
Externí odkaz:
http://arxiv.org/abs/1704.03738
Global Route-Planning Algorithms (GRPA) are required to compute paths between several points located on Earth's surface. A geodesic algorithm is employed as an auxiliary tool, increasing the precision of distance calculations. This work presents a no
Externí odkaz:
http://arxiv.org/abs/1610.04597
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.
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.
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:
Ara��jo, Rodrigo F., Ribeiro, Alexandre, Bessa, Iury V., Cordeiro, Lucas C., Filho, Jo��o E. C.
We describe and evaluate a novel optimization-based off-line path planning algorithm for mobile robots based on the Counterexample-Guided Inductive Optimization (CEGIO) technique. CEGIO iteratively employs counterexamples generated from Boolean Satis
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f096e7751290b9d1b81c03108d0a4f81
http://arxiv.org/abs/1708.04028
http://arxiv.org/abs/1708.04028