skip to main content
Idioma:

Resultados de 1 a 10 de 15  para Produção Intelectual da USP

Ordenado por: Ordenado por: RelevânciaOr hit Enter to replace sort method
Resultados 1 2 next page
Refinado por: autor: Brazilian Symposium on Artificial Intelligence - SBIA remover Biblioteca: IME - Inst. Matemática e Estatística remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
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)

2
Towards polynomial approximations of full propositional logic
Towards polynomial approximations of full propositional logic
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Towards polynomial approximations of full propositional logic

Marcelo Finger Brazilian Symposium on Artificial Intelligence - SBIA (17. 2004 São Luis, MA)

Proceedings Berlin : Springer, 2004

Berlin Springer 2004

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

3
Using relevance to speed up inference some empirical results
Using relevance to speed up inference some empirical results
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Using relevance to speed up inference some empirical results

Joselyto Riani Renata Wassermann; Brazilian Symposium on Artificial Intelligence - SBIA (17. 2004 São Luis, MA)

Proceedings Berlin : Springer, 2004

Berlin Springer 2004

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

4
Paraconsistent sensitivity analysis for Bayesian significance tests
Paraconsistent sensitivity analysis for Bayesian significance tests
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Paraconsistent sensitivity analysis for Bayesian significance tests

Julio Michael Stern 1958- Brazilian Symposium on Artificial Intelligence - SBIA (17. 2004 São Luis, MA)

Proceedings Berlin : Springer, 2004

Berlin Springer 2004

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

5
A framework for empirical evaluation of belief change operators
A framework for empirical evaluation of belief change operators
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

A framework for empirical evaluation of belief change operators

Renato U Lundberg Márcio Moretto Ribeiro; Renata Wassermann; Brazilian Symposium on Artificial Intelligence - SBIA (21 2012 Curitiba, PR)

Proceedings Berlin : Springer, 2012

Berlin Springer 2012

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

6
System design modification with actions
System design modification with actions
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

System design modification with actions

Maria Viviane de Menezes Silvio do L Pareira; Leliane Nunes de Barros; Brazilian Symposium on Artificial Intelligence - SBIA (20. 2010 São Bernardo do Campo)

Proceedings Berlin : Springer, 2010

Berlin Springer 2010

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

7
A refuted conjecture on probabilistic satisfiability
A refuted conjecture on probabilistic satisfiability
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

A refuted conjecture on probabilistic satisfiability

Marcelo Finger Glauber De Bona 1984-; Brazilian Symposium on Artificial Intelligence - SBIA (20. 2010 São Bernardo do Campo)

Proceedings Berlin : Springer, 2010

Berlin Springer 2010

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

8
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)

9
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)

10
Attacking the complexity of prioritized inference preliminary report
Attacking the complexity of prioritized inference preliminary report
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Attacking the complexity of prioritized inference preliminary report

Renata Wassermann Samir Chopra; 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-3009097 )(Acessar)

Resultados de 1 a 10 de 15  para Produção Intelectual da USP

Ordenado por: Ordenado por: RelevânciaOr hit Enter to replace sort method
Resultados 1 2 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

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

Buscando em bases de dados remotas. Favor aguardar.