Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo de Congresso
|
The universe of approximationsMarcelo Finger Renata Wassermann; Workshop on Logic, Language, Information and Computation - WoLLIC (10. 2003 Ouro Preto)Electronic Notes in Theoretical Computer Science Amsterdam v. 84, p. 91-104, 2003Amsterdam 2003Localização: IME - Inst. Matemática e Estatística (PROD-1367695 ) e outros locais(Acessar) |
|
2 |
Material Type: Artigo de Congresso
|
Comparing two Markov methods for part-of-speech tagging of portugueseFábio Natanael Kepler Marcelo Finger; Ibero-American Conference on Artificial Intelligence - IBERAMIA (10. 2006 Ribeirão Preto); Brazilian Symposium on Artificial Intelligence - SBIA (18. 2006 Ribeirão Preto)Proceedings Berlin : Springer, 2006Berlin Springer 2006Localização: IME - Inst. Matemática e Estatística (PROD-1584416 ) e outros locais(Acessar) |
|
3 |
Material Type: Livro
|
Advances in Artificial Intelligence SBIA 2012Leliane Nunes de Barros Marcelo Finger; Aurora T Pozo; Gustavo A Gimenez-Hugo; Marcos Castilho; Brazilian Symposium on Artificial Intelligence (21. 2012 Curitiba, PR)Berlin Springer 2012Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNAI v.7589 ) e outros locais(Acessar) |
|
4 |
Material Type: Artigo de Congresso
|
Revising specifications with CTL properties using bounded model checkingMarcelo Finger Renata Wassermann; Brazilian Symposium on Artificial Intelligence - SBIA (19. 2008 Savador, BR)Proceedings Berlin : Springer, 2008Berlin Springer 2008Localização: IME - Inst. Matemática e Estatística (PROD-3009088 )(Acessar) |
|
5 |
Material Type: Artigo de Congresso
|
Logics for approximate reasoning approximating classical logic “from above”Marcelo Finger Renata Wassermann; Brazilian Symposium on Artificial Intelligence - SBIA (16. 2002 Porto de Galinhas, Recife, BR)Proceedings Berlin : Springer, 2002Berlin Springer 2002Localização: IME - Inst. Matemática e Estatística (PROD-3009101 )(Acessar) |
|
6 |
Material Type: Artigo de Congresso
|
A logic based algorithm for solving probabilistic satisfiabilityMarcelo Finger Glauber De Bona 1984-; Ibero-American Conference on Artificial Intelligence - IBERAMIA (12. 2010 Bahía Blanca, Argentina)Proceedings Berlin : Springer, 2010Berlin Springer 2010Localização: IME - Inst. Matemática e Estatística (PROD-3009310 )(Acessar) |
|
7 |
Material Type: Artigo de Congresso
|
Discriminant audio properties in deep learning based respiratory insufficiency detection in brazilian portugueseMarcelo Matheus Gauy Larissa Cristina Berti; Arnaldo Candido Junior; Augusto César de Camargo Neto; Alfredo Goldman; Anna Sara Levin; Marcus Vinícius Moreira Martins; Beatriz Raposo de Medeiros; Marcelo Gomes de Queiroz; Ester Cerdeira Sabino; Flaviane Fernandes Svartman; Marcelo Finger; International Conference on Artificial Intelligence in Medicine - AIME (21. 2023 Portorož, Slovenia)Proceedings Cham: Springer, 2023Cham Springer 2023Localização: IME - Inst. Matemática e Estatística (PROD-3150099 )(Acessar) |
|
8 |
Material Type: Dissertação de Mestrado
|
Algoritmos baseados em atenção neural para a automação da classicação multirrótulo de acórdãos jurídicosSerras, Felipe RibasBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2021-05-04Acesso online. A biblioteca também possui exemplares impressos. |