1
Material Type:
Relatório Técnico
Learning restricted horn clauses some considerations on the ij-determination concepts
M C Nicoletti Maria Carolina Monard 1941-
Sao Carlos Icmsc-Usp 1994
Localização:
ICMC - Inst. Ciên. Mat. Computação
(PROD-863845 ) e outros locais(Acessar)
This feature requires javascript
2
Material Type:
Relatório Técnico
Learning horn clauses using the ilp systems golem
M C Nicoletti Maria Carolina Monard 1941-
São Carlos ICMSC-USP 1993
Localização:
ICMC - Inst. Ciên. Mat. Computação
(NOTAS SCE N.4 N643l ) e outros locais(Acessar)
This feature requires javascript
3
Material Type:
Relatório Técnico
Metodo sintatico de prova de teoremas algoritmo de wang
Maria Carolina Monard 1941- M C Nicoletti
Sao Carlos Icmsc-Usp 1990
Localização:
ICMC - Inst. Ciên. Mat. Computação
(PROD-816336 ) e outros locais(Acessar)
This feature requires javascript
4
Material Type:
Relatório Técnico
Herbrand interpretation, model and least model within the framework of logic programming
M C Nicoletti Maria Carolina Monard 1941-
São Carlos ICMSC-USP 1993
Localização:
ICMC - Inst. Ciên. Mat. Computação
(PROD-848273 ) e outros locais(Acessar)
This feature requires javascript
5
Material Type:
Relatório Técnico
Inverting resolution plotkin's least general generalization
M C Nicoletti Maria Carolina Monard 1941-
Sao Carlos Icmsc-Usp 1993
Localização:
ICMC - Inst. Ciên. Mat. Computação
(PROD-839460 ) e outros locais(Acessar)
This feature requires javascript
6
Material Type:
Relatório Técnico
Descrição da implementação do módulo conversor kaeru para transformar dados no formato atributo-valor para o formato relacional do sistema de programação lógica indutiva aleph
Mariza Ferro Maria Carolina Monard 1941-
São Carlos ICMC-USP 2004
Localização:
ICMC - Inst. Ciên. Mat. Computação
(RT SCE n.234 F395di e.1 ) e outros locais(Acessar)
This feature requires javascript
7
Material Type:
Relatório Técnico
Projeto e implementação do sistema discovergraphics para a geração de gráficos de dados
Richardson F Voltolini Maria Carolina Monard 1941-
São Carlos ICMC-USP 2006
Localização:
ICMC - Inst. Ciên. Mat. Computação
(RT SCE n.280 V938pi e.1 ) e outros locais(Acessar)
This feature requires javascript
8
Material Type:
Relatório Técnico
Projeto e implementação do algoritmo semissupervisionado multidescrição CoAL
Ígor Assis Braga Maria Carolina Monard 1941-
São Carlos ICMC-USP 2010
Localização:
ICMC - Inst. Ciên. Mat. Computação
(RT SCC nº352 B813pi e.1 ) e outros locais(Acessar)
This feature requires javascript
9
Material Type:
Relatório Técnico
Descrição da arquitetura e do projeto do sistema computacional GAERE para realizar evolução genética de classificadores simbólicos
Flávia Cristina Bernardini Maria Carolina Monard
São Carlos ICMC-USP 2006
Localização:
ICMC - Inst. Ciên. Mat. Computação
(RT SCE n275 B523da e.1 ) e outros locais(Acessar)
This feature requires javascript
10
Material Type:
Relatório Técnico
Descrição e implementação de um algoritmo indutivo incremental para aprendizado de árvores de decisão binarias 1
Claudia Aparecida Martins Maria Carolina Monard 1941-
São Carlos ICMSC-USP 1994
Localização:
ICMC - Inst. Ciên. Mat. Computação
(RT SCE N.30 M386d e.1 ) e outros locais(Acessar)
This feature requires javascript