skip to main content
Idioma:
Refinado por: assunto: Inteligência Artificial remover autor: Finger, M remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
The universe of approximations
The universe of approximations
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

The universe of approximations

Marcelo 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, 2003

Amsterdam 2003

Localização: IME - Inst. Matemática e Estatística    (PROD-1367695 ) e outros locais(Acessar)

2
Comparing two Markov methods for part-of-speech tagging of portuguese
Comparing two Markov methods for part-of-speech tagging of portuguese
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Comparing two Markov methods for part-of-speech tagging of portuguese

Fá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, 2006

Berlin Springer 2006

Localização: IME - Inst. Matemática e Estatística    (PROD-1584416 ) e outros locais(Acessar)

3
Advances in Artificial Intelligence SBIA 2012
Advances in Artificial Intelligence SBIA 2012
Material Type:
Livro 		Adicionar ao Meu Espaço

Advances in Artificial Intelligence SBIA 2012

Leliane 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 2012

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNAI v.7589 ) e outros locais(Acessar)

4
Logics for approximate reasoning approximating classical logic “from above”
Logics for approximate reasoning approximating classical logic “from above”
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

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, 2002

Berlin Springer 2002

Localização: IME - Inst. Matemática e Estatística    (PROD-3009101 )(Acessar)

5
Revising specifications with CTL properties using bounded model checking
Revising specifications with CTL properties using bounded model checking
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Revising specifications with CTL properties using bounded model checking

Marcelo Finger Renata Wassermann; Brazilian Symposium on Artificial Intelligence - SBIA (19. 2008 Savador, BR)

Proceedings Berlin : Springer, 2008

Berlin Springer 2008

Localização: IME - Inst. Matemática e Estatística    (PROD-3009088 )(Acessar)

6
A logic based algorithm for solving probabilistic satisfiability
A logic based algorithm for solving probabilistic satisfiability
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

A logic based algorithm for solving probabilistic satisfiability

Marcelo Finger Glauber De Bona 1984-; Ibero-American Conference on Artificial Intelligence - IBERAMIA (12. 2010 Bahía Blanca, Argentina)

Proceedings Berlin : Springer, 2010

Berlin Springer 2010

Localização: IME - Inst. Matemática e Estatística    (PROD-3009310 )(Acessar)

7
Discriminant audio properties in deep learning based respiratory insufficiency detection in brazilian portuguese
Discriminant audio properties in deep learning based respiratory insufficiency detection in brazilian portuguese
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Discriminant audio properties in deep learning based respiratory insufficiency detection in brazilian portuguese

Marcelo 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, 2023

Cham Springer 2023

Localização: IME - Inst. Matemática e Estatística    (PROD-3150099 )(Acessar)

8
Algoritmos baseados em atenção neural para a automação da classicação multirrótulo de acórdãos jurídicos 
Algoritmos baseados em atenção neural para a automação da classicação multirrótulo de acórdãos jurídicos 
Material Type:
Dissertação de Mestrado 		Adicionar ao Meu Espaço

Algoritmos baseados em atenção neural para a automação da classicação multirrótulo de acórdãos jurídicos 

Serras, Felipe Ribas

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2021-05-04

Acesso online. A biblioteca também possui exemplares impressos.

9
Temporal logic mathematical foundations and computational aspects
Temporal logic mathematical foundations and computational aspects
Material Type:
Livro 		Adicionar ao Meu Espaço

Temporal logic mathematical foundations and computational aspects

Dov M. Gabbay 1945- Ian Hodkinson; Mark Reynolds (Mark A.); Marcelo Finger

Oxford Clarendon Press New York Oxford University Press 1994-2000

Localização: IME - Inst. Matemática e Estatística    (QA860 G112t v.2 e.1 )(Acessar)

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (6)
  2. Livros  (2)
  3. Produções Acadêmicas  (1)
  4. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de2002  (1)
  2. 2002Até2002  (1)
  3. 2003Até2005  (1)
  4. 2006Até2008  (2)
  5. Após 2008  (4)
  6. Mais opções open sub menu

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.