Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo de Congresso
|
Tableaux for approximate reasoningMarcelo Finger Renata Wassermann; International Joint Conference on Artificial Intelligence - IJCAI (17. 2001 Seatle)Proceedings Seatle : IJCAI, 2001Seatle IJCAI 2001Localização: IME - Inst. Matemática e Estatística (PROD-1253528 ) e outros locais(Acessar) |
|
2 |
Material Type: Artigo de Congresso
|
Horn clause contraction functions belief set and belief base approachesJaime P Delgrande Renata Wassermann; International Conference on the Principles of Knowledge Representation and Reasoning - KR (12. 2010 Toronto)Proceedings Menlo Park : AAAI Press, 2010Menlo Park AAAI Press 2010Acesso online. A biblioteca também possui exemplares impressos. |
|
3 |
Material Type: Artigo de Congresso
|
A contraction core for Horn belief change preliminary reportRichard Booth Thomas Meyer; Renata Wassermann; Non-Monotonic Reasoning 2010: International Workshop on Non-Monotonic Reasoning - NMR (13. 2010 Toronto)Proceedings Toronto : SFU, 2010Toronto SFU 2010Localização: IME - Inst. Matemática e Estatística (PROD-1832114 ) e outros locais(Acessar) |
|
4 |
Material Type: Artigo de Congresso
|
Estabilidade de classificadores usando a técnica de reamostragemSelma Terezinha Milagre José Carlos Pereira; Carlos Dias Maciel; Adriano Alves Pereira; Brazilian Conference on Dynamics, Control and Their Applications (6th 2007 São José do Rio Preto)Proceedings São José do Rio Preto, 2007São José do Rio Preto 2007Item não circula. Consulte sua biblioteca.(Acessar) |
|
5 |
Material Type: Artigo de Congresso
|
Algoritmo fuzzy para classificação de estruturas biológicas a partir de sinais de retro-espalhamento de ultra-somJulián Antonio Villamarín Carlos Dias Maciel; Brazilian Conference on Dynamics, Control and Applications (8th 2009 Bauru, SP)Proceedings Bauru, 2009Bauru 2009Item não circula. Consulte sua biblioteca.(Acessar) |
|
6 |
Material Type: Artigo de Congresso
|
Entailment multipliers an algebraic characterization of validity for classical and modal logicsMarcelo Finger Maruricio S. C Hernandes; International Workshop on Logic, Language, Information, and Computation - WoLLIC (2010 Brasília)Proceedings Berlin : Springer, 2010Berlin Springer 2010Localização: IME - Inst. Matemática e Estatística (PROD-2176241 ) e outros locais(Acessar) |
|
7 |
Material Type: Artigo de Congresso
|
Fuzzy identification of bioprocesses applying TSK-type models with consequent parameter estimation through orthogonal estimatorRosimeire Aparecida Jerônimo Claudio Garcia 1955-; Oscar Alberto Zanabria Sotomayor; Trienial World Congress of the International Federation of Automatic Control (15. 2002 Barcelona)Proceedings Barcelona : IFAC, 2002Barcelona IFAC 2002Item não circula. Consulte sua biblioteca.(Acessar) |
|
8 |
Material Type: Artigo de Congresso
|
A real-time neural network based color classifierÉder Augusto Penharbel Ben-Hur Gonçalves; Roseli Aparecida Francelin Romero; IEEE Latin American Robotic Symposium - LARS (5. 2008 Natal, Rio Grande do Norte)Proceedings Los Alamitos, Ca : IEEE Computer Society, 2008Los Alamitos, Ca IEEE Computer Society 2008Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-1996959 ) e outros locais(Acessar) |
|
9 |
Material Type: Artigo de Congresso
|
Rolling bearing fault diagnostic system using logicSilmara Alexandra da Silva Vicente Rodrigo Yoshiaki Fujimoto; Linilson Rodrigues Padovese 1960-; IEEE International Fuzzy Systems Conferene (10. 2001 Australia)Proceedings Piscataway : IEEE, 2001Piscataway IEEE 2001Item não circula. Consulte sua biblioteca.(Acessar) |
|
10 |
Material Type: Artigo de Congresso
|
Control of the molten steel level in a strip-casting process using T-S fuzzy modelsRenato Rosa do Nascimento Vilma Alves Oliveira; Natache do Socorro Arrifano; Edson Gesualdo; João Pedro Valls Tosetti; Triennial World Congress of the International Federation of a Control (15. 2002 Barcelona)Proceedings Barcelona : IFAC, 2002Barcelona IFAC 2002Item não circula. Consulte sua biblioteca.(Acessar) |