ReP USP - Resultado da busca

Tese (Doutorado)
Um modelo formal para a Quinta Disciplina (2004)
Silva, Lourival Paulino da; Silva, Flávio Soares Corrêa da (Orientador)
Unidade: IME
Assunto: INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SILVA, Lourival Paulino da. Um modelo formal para a Quinta Disciplina. 2004. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2004. Disponível em: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-134959/. Acesso em: 28 set. 2024.
APA
Silva, L. P. da. (2004). Um modelo formal para a Quinta Disciplina (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-134959/
NLM
Silva LP da. Um modelo formal para a Quinta Disciplina [Internet]. 2004 ;[citado 2024 set. 28 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-134959/
Vancouver
Silva LP da. Um modelo formal para a Quinta Disciplina [Internet]. 2004 ;[citado 2024 set. 28 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-134959/
Dissertação (Mestrado)
Em busca de procedimentos de inferência eficientes via relevância por sintaxe (2004)
Riani, Joselyto; Wassermann, Renata (Orientador)
Unidade: IME
Assunto: INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
RIANI, Joselyto. Em busca de procedimentos de inferência eficientes via relevância por sintaxe. 2004. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2004. Disponível em: https://teses.usp.br/teses/disponiveis/45/45134/tde-20220712-121031/. Acesso em: 28 set. 2024.
APA
Riani, J. (2004). Em busca de procedimentos de inferência eficientes via relevância por sintaxe (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45134/tde-20220712-121031/
NLM
Riani J. Em busca de procedimentos de inferência eficientes via relevância por sintaxe [Internet]. 2004 ;[citado 2024 set. 28 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20220712-121031/
Vancouver
Riani J. Em busca de procedimentos de inferência eficientes via relevância por sintaxe [Internet]. 2004 ;[citado 2024 set. 28 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20220712-121031/
Dissertação (Mestrado)
Uma ontologia artificial para o controle cambial brasileiro (2004)
Moron, Robson; Silva, Flávio Soares Corrêa da (Orientador)
Unidade: IME
Assunto: INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MORON, Robson. Uma ontologia artificial para o controle cambial brasileiro. 2004. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2004. Disponível em: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-135654/. Acesso em: 28 set. 2024.
APA
Moron, R. (2004). Uma ontologia artificial para o controle cambial brasileiro (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-135654/
NLM
Moron R. Uma ontologia artificial para o controle cambial brasileiro [Internet]. 2004 ;[citado 2024 set. 28 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-135654/
Vancouver
Moron R. Uma ontologia artificial para o controle cambial brasileiro [Internet]. 2004 ;[citado 2024 set. 28 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-135654/
Dissertação (Mestrado)
Análise de classificadores de seqüências projetados por aprendizado computacional supervisionado e não supervisionado (2004)
Carezzato, Caetano Jimenez; Barrera, Júnior (Orientador)
Unidade: IME
Assunto: INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
CAREZZATO, Caetano Jimenez. Análise de classificadores de seqüências projetados por aprendizado computacional supervisionado e não supervisionado. 2004. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2004. Disponível em: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-135827/. Acesso em: 28 set. 2024.
APA
Carezzato, C. J. (2004). Análise de classificadores de seqüências projetados por aprendizado computacional supervisionado e não supervisionado (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-135827/
NLM
Carezzato CJ. Análise de classificadores de seqüências projetados por aprendizado computacional supervisionado e não supervisionado [Internet]. 2004 ;[citado 2024 set. 28 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-135827/
Vancouver
Carezzato CJ. Análise de classificadores de seqüências projetados por aprendizado computacional supervisionado e não supervisionado [Internet]. 2004 ;[citado 2024 set. 28 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-135827/
Dissertação (Mestrado)
Redução de dimensionalidade utilizando entropia condicional média aplicada a problemas de bioinformática e de processamento de imagens (2004)
Martins Junior, David Correa; César Júnior, Roberto Marcondes (Orientador)
Unidade: IME
Assunto: INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MARTINS JUNIOR, David Correa. Redução de dimensionalidade utilizando entropia condicional média aplicada a problemas de bioinformática e de processamento de imagens. 2004. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2004. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-23052006-185224/. Acesso em: 28 set. 2024.
APA
Martins Junior, D. C. (2004). Redução de dimensionalidade utilizando entropia condicional média aplicada a problemas de bioinformática e de processamento de imagens (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-23052006-185224/
NLM
Martins Junior DC. Redução de dimensionalidade utilizando entropia condicional média aplicada a problemas de bioinformática e de processamento de imagens [Internet]. 2004 ;[citado 2024 set. 28 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-23052006-185224/
Vancouver
Martins Junior DC. Redução de dimensionalidade utilizando entropia condicional média aplicada a problemas de bioinformática e de processamento de imagens [Internet]. 2004 ;[citado 2024 set. 28 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-23052006-185224/
Dissertação (Mestrado)
Lógicas de raciocínio aproximado e o problema SAT (2004)
Ide, Fabio Luiz; Finger, Marcelo (Orientador)
Unidade: IME
Assunto: INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
IDE, Fabio Luiz. Lógicas de raciocínio aproximado e o problema SAT. 2004. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2004. Disponível em: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-142926/. Acesso em: 28 set. 2024.
APA
Ide, F. L. (2004). Lógicas de raciocínio aproximado e o problema SAT (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-142926/
NLM
Ide FL. Lógicas de raciocínio aproximado e o problema SAT [Internet]. 2004 ;[citado 2024 set. 28 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-142926/
Vancouver
Ide FL. Lógicas de raciocínio aproximado e o problema SAT [Internet]. 2004 ;[citado 2024 set. 28 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-142926/
Trabalho de evento
High-level robot programming: an abductive approach using event calculus (2004)
Pereira, Silvio do Lago; Barros, Leliane Nunes de
Source: Proceedings. Conference titles: Brazilian Symposium on Artificial Intelligence - SBIA. Unidade: IME
Subjects: INTELIGÊNCIA ARTIFICIAL, PROGRAMAÇÃO LÓGICA, LINGUÍSTICA COMPUTACIONAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PEREIRA, Silvio do Lago e BARROS, Leliane Nunes de. High-level robot programming: an abductive approach using event calculus. 2004, Anais.. Berlin: Springer, 2004. Disponível em: https://doi.org/10.1007/978-3-540-28645-5_8. Acesso em: 28 set. 2024.
APA
Pereira, S. do L., & Barros, L. N. de. (2004). High-level robot programming: an abductive approach using event calculus. In Proceedings. Berlin: Springer. doi:10.1007/978-3-540-28645-5_8
NLM
Pereira S do L, Barros LN de. High-level robot programming: an abductive approach using event calculus [Internet]. Proceedings. 2004 ;[citado 2024 set. 28 ] Available from: https://doi.org/10.1007/978-3-540-28645-5_8
Vancouver
Pereira S do L, Barros LN de. High-level robot programming: an abductive approach using event calculus [Internet]. Proceedings. 2004 ;[citado 2024 set. 28 ] Available from: https://doi.org/10.1007/978-3-540-28645-5_8
Dissertação (Mestrado)
Inteligência Artificial para jogos de tabuleiro. (2004)
Carvalho, Marcelo Nunes de; Silva, Flávio Soares Corrêa da (Orientador)
Unidade: IME
Assunto: INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
CARVALHO, Marcelo Nunes de. Inteligência Artificial para jogos de tabuleiro. 2004. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2004. Disponível em: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-135244/. Acesso em: 28 set. 2024.
APA
Carvalho, M. N. de. (2004). Inteligência Artificial para jogos de tabuleiro. (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-135244/
NLM
Carvalho MN de. Inteligência Artificial para jogos de tabuleiro. [Internet]. 2004 ;[citado 2024 set. 28 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-135244/
Vancouver
Carvalho MN de. Inteligência Artificial para jogos de tabuleiro. [Internet]. 2004 ;[citado 2024 set. 28 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-135244/
Trabalho de evento
Planning with abduction: a logical framework to explore extensions to classical planning (2004)
Pereira, Silvio do Lago; Barros, Leliane Nunes de
Source: Proceedings. Conference titles: Brazilian Symposium on Artificial Intelligence - SBIA. Unidade: IME
Subjects: INTELIGÊNCIA ARTIFICIAL, PROGRAMAÇÃO LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PEREIRA, Silvio do Lago e BARROS, Leliane Nunes de. Planning with abduction: a logical framework to explore extensions to classical planning. 2004, Anais.. Berlin: Springer, 2004. Disponível em: https://doi.org/10.1007/978-3-540-28645-5_7. Acesso em: 28 set. 2024.
APA
Pereira, S. do L., & Barros, L. N. de. (2004). Planning with abduction: a logical framework to explore extensions to classical planning. In Proceedings. Berlin: Springer. doi:10.1007/978-3-540-28645-5_7
NLM
Pereira S do L, Barros LN de. Planning with abduction: a logical framework to explore extensions to classical planning [Internet]. Proceedings. 2004 ;[citado 2024 set. 28 ] Available from: https://doi.org/10.1007/978-3-540-28645-5_7
Vancouver
Pereira S do L, Barros LN de. Planning with abduction: a logical framework to explore extensions to classical planning [Internet]. Proceedings. 2004 ;[citado 2024 set. 28 ] Available from: https://doi.org/10.1007/978-3-540-28645-5_7
Dissertação (Mestrado)
Geração de classificadores de seqüências genéticas utilizando inferência de linguagens regulares (2004)
Vieira, Daniel da Cruz Gouveia; Durham, Alan Mitchell (Orientador)
Unidade: IME
Assunto: INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
VIEIRA, Daniel da Cruz Gouveia. Geração de classificadores de seqüências genéticas utilizando inferência de linguagens regulares. 2004. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2004. Disponível em: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-142514/. Acesso em: 28 set. 2024.
APA
Vieira, D. da C. G. (2004). Geração de classificadores de seqüências genéticas utilizando inferência de linguagens regulares (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-142514/
NLM
Vieira D da CG. Geração de classificadores de seqüências genéticas utilizando inferência de linguagens regulares [Internet]. 2004 ;[citado 2024 set. 28 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-142514/
Vancouver
Vieira D da CG. Geração de classificadores de seqüências genéticas utilizando inferência de linguagens regulares [Internet]. 2004 ;[citado 2024 set. 28 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-142514/
Dissertação (Mestrado)
Aprendizado de regras de substituição para normatização de textos históricos (2004)
Hirohashi, Alexandre; Finger, Marcelo (Orientador)
Unidade: IME
Assunto: INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
HIROHASHI, Alexandre. Aprendizado de regras de substituição para normatização de textos históricos. 2004. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2004. Disponível em: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-142722/. Acesso em: 28 set. 2024.
APA
Hirohashi, A. (2004). Aprendizado de regras de substituição para normatização de textos históricos (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-142722/
NLM
Hirohashi A. Aprendizado de regras de substituição para normatização de textos históricos [Internet]. 2004 ;[citado 2024 set. 28 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-142722/
Vancouver
Hirohashi A. Aprendizado de regras de substituição para normatização de textos históricos [Internet]. 2004 ;[citado 2024 set. 28 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-142722/
Trabalho de evento
Using relevance to speed up inference: some empirical results (2004)
Riani, Joselyto; Wassermann, Renata
Source: Proceedings. Conference titles: Brazilian Symposium on Artificial Intelligence - SBIA. Unidade: IME
Subjects: INTELIGÊNCIA ARTIFICIAL, PROVA AUTOMÁTICA DE TEOREMAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
RIANI, Joselyto e WASSERMANN, Renata. Using relevance to speed up inference: some empirical results. 2004, Anais.. Berlin: Springer, 2004. Disponível em: https://doi.org/10.1007/978-3-540-28645-5_3. Acesso em: 28 set. 2024.
APA
Riani, J., & Wassermann, R. (2004). Using relevance to speed up inference: some empirical results. In Proceedings. Berlin: Springer. doi:10.1007/978-3-540-28645-5_3
NLM
Riani J, Wassermann R. Using relevance to speed up inference: some empirical results [Internet]. Proceedings. 2004 ;[citado 2024 set. 28 ] Available from: https://doi.org/10.1007/978-3-540-28645-5_3
Vancouver
Riani J, Wassermann R. Using relevance to speed up inference: some empirical results [Internet]. Proceedings. 2004 ;[citado 2024 set. 28 ] Available from: https://doi.org/10.1007/978-3-540-28645-5_3

USP Schools

ReP

Filtros

Authors

USP affiliated authors