Menu

Filtros : "FINGER, MARCELO" Limpar

Filtros

Refine with date range

1 - 20 (133 records)

  • Trabalho de evento

    Variable-length Markov models and ambiguous words in portuguese (2010)

    Kepler, Fabio Natanael; Finger, Marcelo

    Source: Proceedings. Conference titles: NAACL HLT 2010 Young Investigators Workshop on Computational Approaches to Languages of the Americas. Unidade: IME

    Assunto: LINGUÍSTICA COMPUTACIONAL

    Versão PublicadaAcesso à fonteHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      KEPLER, Fabio Natanael e FINGER, Marcelo. Variable-length Markov models and ambiguous words in portuguese. 2010, Anais.. Stroudsburg: ACL, 2010. Disponível em: https://aclanthology.org/W10-1603.pdf. Acesso em: 18 abr. 2024.

    • APA

      Kepler, F. N., & Finger, M. (2010). Variable-length Markov models and ambiguous words in portuguese. In Proceedings. Stroudsburg: ACL. Recuperado de https://aclanthology.org/W10-1603.pdf

    • NLM

      Kepler FN, Finger M. Variable-length Markov models and ambiguous words in portuguese [Internet]. Proceedings. 2010 ;[citado 2024 abr. 18 ] Available from: https://aclanthology.org/W10-1603.pdf

    • Vancouver

      Kepler FN, Finger M. Variable-length Markov models and ambiguous words in portuguese [Internet]. Proceedings. 2010 ;[citado 2024 abr. 18 ] Available from: https://aclanthology.org/W10-1603.pdf

  • Trabalho de evento

    Using neural models to perform inference (2019)

    Salvatore, Felipe de Souza; Preto, Sandro ; Finger, Marcelo ; Hirata Júnior, Roberto

    Source: Proceedings. Conference titles: International Workshop on Neural-Symbolic Learning and Reasoning - NeSy. Unidade: IME

    Subjects: APRENDIZADO COMPUTACIONAL, RACIOCÍNIO PROBABILÍSTICO

    PrivadoAcesso à fonteHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      SALVATORE, Felipe de Souza et al. Using neural models to perform inference. 2019, Anais.. Vienna: IJCAI, 2019. Disponível em: https://drive.google.com/file/d/1HcPIXDwlZRu6zm0srwxEqVXYbdh4QiNT/view. Acesso em: 18 abr. 2024.

    • APA

      Salvatore, F. de S., Preto, S., Finger, M., & Hirata Júnior, R. (2019). Using neural models to perform inference. In Proceedings. Vienna: IJCAI. Recuperado de https://drive.google.com/file/d/1HcPIXDwlZRu6zm0srwxEqVXYbdh4QiNT/view

    • NLM

      Salvatore F de S, Preto S, Finger M, Hirata Júnior R. Using neural models to perform inference [Internet]. Proceedings. 2019 ;[citado 2024 abr. 18 ] Available from: https://drive.google.com/file/d/1HcPIXDwlZRu6zm0srwxEqVXYbdh4QiNT/view

    • Vancouver

      Salvatore F de S, Preto S, Finger M, Hirata Júnior R. Using neural models to perform inference [Internet]. Proceedings. 2019 ;[citado 2024 abr. 18 ] Available from: https://drive.google.com/file/d/1HcPIXDwlZRu6zm0srwxEqVXYbdh4QiNT/view

  • Trabalho de evento

    Using apache UIMA annotators for brazilian portuguese (2010)

    Silva, William Daniel Colen de Moura; Finger, Marcelo ; Menezes, Carlos Eduardo Dantas de

    Source: Extended Activities Proceedings. Conference titles: International Conference on Computational Processing of the Portuguese Language - PROPOR. Unidade: IME

    Assunto: LINGUAGEM NATURAL

    Acesso à fonteHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      SILVA, William Daniel Colen de Moura e FINGER, Marcelo e MENEZES, Carlos Eduardo Dantas de. Using apache UIMA annotators for brazilian portuguese. 2010, Anais.. Porto Alegre: PUCRS, 2010. Disponível em: https://www.inf.pucrs.br/~propor2010/proceedings/demos/SilvaFingerEtAl.pdf. Acesso em: 18 abr. 2024.

    • APA

      Silva, W. D. C. de M., Finger, M., & Menezes, C. E. D. de. (2010). Using apache UIMA annotators for brazilian portuguese. In Extended Activities Proceedings. Porto Alegre: PUCRS. Recuperado de https://www.inf.pucrs.br/~propor2010/proceedings/demos/SilvaFingerEtAl.pdf

    • NLM

      Silva WDC de M, Finger M, Menezes CED de. Using apache UIMA annotators for brazilian portuguese [Internet]. Extended Activities Proceedings. 2010 ;[citado 2024 abr. 18 ] Available from: https://www.inf.pucrs.br/~propor2010/proceedings/demos/SilvaFingerEtAl.pdf

    • Vancouver

      Silva WDC de M, Finger M, Menezes CED de. Using apache UIMA annotators for brazilian portuguese [Internet]. Extended Activities Proceedings. 2010 ;[citado 2024 abr. 18 ] Available from: https://www.inf.pucrs.br/~propor2010/proceedings/demos/SilvaFingerEtAl.pdf

  • Trabalho de evento-anais periodico

    Using abduction to compute efficient proofs (2009)

    Finger, Marcelo

    Source: Electronic Notes in Theoretical Computer Science. Conference titles: Workshop on Logical and Semantic Frameworks, with Applications - LSFA. Unidade: IME

    Assunto: LÓGICA FORMAL

    Acesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      FINGER, Marcelo. Using abduction to compute efficient proofs. Electronic Notes in Theoretical Computer Science. Amsterdam: Elsevier. Disponível em: https://doi.org/10.1016/j.entcs.2009.07.047. Acesso em: 18 abr. 2024. , 2009

    • APA

      Finger, M. (2009). Using abduction to compute efficient proofs. Electronic Notes in Theoretical Computer Science. Amsterdam: Elsevier. doi:10.1016/j.entcs.2009.07.047

    • NLM

      Finger M. Using abduction to compute efficient proofs [Internet]. Electronic Notes in Theoretical Computer Science. 2009 ; 247 39-49.[citado 2024 abr. 18 ] Available from: https://doi.org/10.1016/j.entcs.2009.07.047

    • Vancouver

      Finger M. Using abduction to compute efficient proofs [Internet]. Electronic Notes in Theoretical Computer Science. 2009 ; 247 39-49.[citado 2024 abr. 18 ] Available from: https://doi.org/10.1016/j.entcs.2009.07.047

  • Relatorio tecnico

    Uma conjectura refutada sobre satisfazibilidade probabiliística (2009)

    Finger, Marcelo ; De Bona, Glauber

    Unidades: IME, EP

    Assunto: PROGRAMAÇÃO MATEMÁTICA

    Versão PublicadaHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      FINGER, Marcelo e DE BONA, Glauber. Uma conjectura refutada sobre satisfazibilidade probabiliística. . São Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/63372545-efc6-41db-81ff-15ab31e3aa0b/1814341.pdf. Acesso em: 18 abr. 2024. , 2009

    • APA

      Finger, M., & De Bona, G. (2009). Uma conjectura refutada sobre satisfazibilidade probabiliística. São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/63372545-efc6-41db-81ff-15ab31e3aa0b/1814341.pdf

    • NLM

      Finger M, De Bona G. Uma conjectura refutada sobre satisfazibilidade probabiliística [Internet]. 2009 ;[citado 2024 abr. 18 ] Available from: https://repositorio.usp.br/directbitstream/63372545-efc6-41db-81ff-15ab31e3aa0b/1814341.pdf

    • Vancouver

      Finger M, De Bona G. Uma conjectura refutada sobre satisfazibilidade probabiliística [Internet]. 2009 ;[citado 2024 abr. 18 ] Available from: https://repositorio.usp.br/directbitstream/63372545-efc6-41db-81ff-15ab31e3aa0b/1814341.pdf

  • Trabalho de evento

    Técnicas de otimização da precisão empregadas no etiquetador Tycho Brahe (2000)

    Finger, Marcelo

    Source: Anais. Conference titles: Encontro para o Processamento Computacional da Língua Portuguesa Escrita e Falada. Unidade: IME

    Assunto: INTELIGÊNCIA ARTIFICIAL

    How to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      FINGER, Marcelo. Técnicas de otimização da precisão empregadas no etiquetador Tycho Brahe. 2000, Anais.. São Carlos: ICMC/USP, 2000. . Acesso em: 18 abr. 2024.

    • APA

      Finger, M. (2000). Técnicas de otimização da precisão empregadas no etiquetador Tycho Brahe. In Anais. São Carlos: ICMC/USP.

    • NLM

      Finger M. Técnicas de otimização da precisão empregadas no etiquetador Tycho Brahe. Anais. 2000 ;[citado 2024 abr. 18 ]

    • Vancouver

      Finger M. Técnicas de otimização da precisão empregadas no etiquetador Tycho Brahe. Anais. 2000 ;[citado 2024 abr. 18 ]

  • Parte de monografia/livro

    Two-dimensional executable temporal logic for bitemporal databases (2000)

    Finger, Marcelo ; Reynolds, Mark

    Source: Advances in temporal logic. Unidade: IME

    Assunto: LÓGICA

    Acesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      FINGER, Marcelo e REYNOLDS, Mark. Two-dimensional executable temporal logic for bitemporal databases. Advances in temporal logic. Tradução . Dordrecht: Springer, 2000. . Disponível em: https://doi.org/10.1007/978-94-015-9586-5_20. Acesso em: 18 abr. 2024.

    • APA

      Finger, M., & Reynolds, M. (2000). Two-dimensional executable temporal logic for bitemporal databases. In Advances in temporal logic. Dordrecht: Springer. doi:10.1007/978-94-015-9586-5_20

    • NLM

      Finger M, Reynolds M. Two-dimensional executable temporal logic for bitemporal databases [Internet]. In: Advances in temporal logic. Dordrecht: Springer; 2000. [citado 2024 abr. 18 ] Available from: https://doi.org/10.1007/978-94-015-9586-5_20

    • Vancouver

      Finger M, Reynolds M. Two-dimensional executable temporal logic for bitemporal databases [Internet]. In: Advances in temporal logic. Dordrecht: Springer; 2000. [citado 2024 abr. 18 ] Available from: https://doi.org/10.1007/978-94-015-9586-5_20

  • Trabalho de evento

    Trust in large-scale computational grids: an SPKI/SDSI extension for representing opinion (2006)

    Pinheiro Júnior, José de Ribamar Braga; Vidal, Alexandre César Tavares; Kon, Fábio ; Finger, Marcelo

    Source: Proceedings. Conference titles: International Workshop on Middleware for Grid Computing - MGC. Unidade: IME

    Subjects: ARQUITETURA E ORGANIZAÇÃO DE COMPUTADORES, SISTEMAS DISTRIBUÍDOS, ENGENHARIA DE SOFTWARE

    PrivadoAcesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      PINHEIRO JÚNIOR, José de Ribamar Braga et al. Trust in large-scale computational grids: an SPKI/SDSI extension for representing opinion. 2006, Anais.. New York: ACM, 2006. Disponível em: https://doi.org/10.1145/1186675.1186683. Acesso em: 18 abr. 2024.

    • APA

      Pinheiro Júnior, J. de R. B., Vidal, A. C. T., Kon, F., & Finger, M. (2006). Trust in large-scale computational grids: an SPKI/SDSI extension for representing opinion. In Proceedings. New York: ACM. doi:10.1145/1186675.1186683

    • NLM

      Pinheiro Júnior J de RB, Vidal ACT, Kon F, Finger M. Trust in large-scale computational grids: an SPKI/SDSI extension for representing opinion [Internet]. Proceedings. 2006 ;[citado 2024 abr. 18 ] Available from: https://doi.org/10.1145/1186675.1186683

    • Vancouver

      Pinheiro Júnior J de RB, Vidal ACT, Kon F, Finger M. Trust in large-scale computational grids: an SPKI/SDSI extension for representing opinion [Internet]. Proceedings. 2006 ;[citado 2024 abr. 18 ] Available from: https://doi.org/10.1145/1186675.1186683

  • Trabalho de evento

    Transfer learning and data augmentation techniques to the COVID-19 identification tasks in ComParE 2021 (2021)

    Casanova, Edresson ; Candido Junior, Arnaldo ; Fernandes Jr, Ricardo Corso; Finger, Marcelo ; Gris, Lucas Rafael Stefanel ; Ponti, Moacir Antonelli ; Silva, Daniel Peixoto Pinto da

    Source: Proceedings. Conference titles: Annual Conference of the International Speech Communication Association - INTERSPEECH. Unidades: IME, ICMC

    Subjects: LINGUÍSTICA COMPUTACIONAL, PROCESSAMENTO DE LINGUAGEM NATURAL, APRENDIZAGEM PROFUNDA, REDES NEURAIS, COVID-19

    PrivadoAcesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      CASANOVA, Edresson et al. Transfer learning and data augmentation techniques to the COVID-19 identification tasks in ComParE 2021. 2021, Anais.. Baixas: ISCA, 2021. Disponível em: https://doi.org/10.21437/Interspeech.2021-1798. Acesso em: 18 abr. 2024.

    • APA

      Casanova, E., Candido Junior, A., Fernandes Jr, R. C., Finger, M., Gris, L. R. S., Ponti, M. A., & Silva, D. P. P. da. (2021). Transfer learning and data augmentation techniques to the COVID-19 identification tasks in ComParE 2021. In Proceedings. Baixas: ISCA. doi:10.21437/Interspeech.2021-1798

    • NLM

      Casanova E, Candido Junior A, Fernandes Jr RC, Finger M, Gris LRS, Ponti MA, Silva DPP da. Transfer learning and data augmentation techniques to the COVID-19 identification tasks in ComParE 2021 [Internet]. Proceedings. 2021 ;[citado 2024 abr. 18 ] Available from: https://doi.org/10.21437/Interspeech.2021-1798

    • Vancouver

      Casanova E, Candido Junior A, Fernandes Jr RC, Finger M, Gris LRS, Ponti MA, Silva DPP da. Transfer learning and data augmentation techniques to the COVID-19 identification tasks in ComParE 2021 [Internet]. Proceedings. 2021 ;[citado 2024 abr. 18 ] Available from: https://doi.org/10.21437/Interspeech.2021-1798

  • Artigo de periodico

    Towards structurally-free theorem proving (1998)

    Finger, Marcelo

    Source: Logic Journal of the IGPL. Unidade: IME

    Assunto: LÓGICA

    Acesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      FINGER, Marcelo. Towards structurally-free theorem proving. Logic Journal of the IGPL, v. 6, n. 3, p. 425-449, 1998Tradução . . Disponível em: https://doi.org/10.1093/jigpal/6.3.425. Acesso em: 18 abr. 2024.

    • APA

      Finger, M. (1998). Towards structurally-free theorem proving. Logic Journal of the IGPL, 6( 3), 425-449. doi:10.1093/jigpal/6.3.425

    • NLM

      Finger M. Towards structurally-free theorem proving [Internet]. Logic Journal of the IGPL. 1998 ; 6( 3): 425-449.[citado 2024 abr. 18 ] Available from: https://doi.org/10.1093/jigpal/6.3.425

    • Vancouver

      Finger M. Towards structurally-free theorem proving [Internet]. Logic Journal of the IGPL. 1998 ; 6( 3): 425-449.[citado 2024 abr. 18 ] Available from: https://doi.org/10.1093/jigpal/6.3.425

  • Relatorio tecnico

    Towards polynomial approximations of full propositional logic (2004)

    Finger, Marcelo

    Unidade: IME

    Assunto: CÁLCULO PROPOSICIONAL

    Versão PublicadaHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      FINGER, Marcelo. Towards polynomial approximations of full propositional logic. . São Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/e80e8f98-3d5e-4ac6-ba53-8b64d2ec942e/1384819.pdf. Acesso em: 18 abr. 2024. , 2004

    • APA

      Finger, M. (2004). Towards polynomial approximations of full propositional logic. São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/e80e8f98-3d5e-4ac6-ba53-8b64d2ec942e/1384819.pdf

    • NLM

      Finger M. Towards polynomial approximations of full propositional logic [Internet]. 2004 ;[citado 2024 abr. 18 ] Available from: https://repositorio.usp.br/directbitstream/e80e8f98-3d5e-4ac6-ba53-8b64d2ec942e/1384819.pdf

    • Vancouver

      Finger M. Towards polynomial approximations of full propositional logic [Internet]. 2004 ;[citado 2024 abr. 18 ] Available from: https://repositorio.usp.br/directbitstream/e80e8f98-3d5e-4ac6-ba53-8b64d2ec942e/1384819.pdf

  • Trabalho de evento

    Towards polynomial approximations of full propositional logic (2004)

    Finger, Marcelo

    Source: Proceedings. Conference titles: Brazilian Symposium on Artificial Intelligence - SBIA. Unidade: IME

    Subjects: APROXIMAÇÃO POR POLINÔMIOS, LÓGICA

    Acesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      FINGER, Marcelo. Towards polynomial approximations of full propositional logic. 2004, Anais.. Berlin: Springer, 2004. Disponível em: https://doi.org/10.1007/978-3-540-28645-5_2. Acesso em: 18 abr. 2024.

    • APA

      Finger, M. (2004). Towards polynomial approximations of full propositional logic. In Proceedings. Berlin: Springer. doi:10.1007/978-3-540-28645-5_2

    • NLM

      Finger M. Towards polynomial approximations of full propositional logic [Internet]. Proceedings. 2004 ;[citado 2024 abr. 18 ] Available from: https://doi.org/10.1007/978-3-540-28645-5_2

    • Vancouver

      Finger M. Towards polynomial approximations of full propositional logic [Internet]. Proceedings. 2004 ;[citado 2024 abr. 18 ] Available from: https://doi.org/10.1007/978-3-540-28645-5_2

  • Artigo de periodico

    Towards classifying propositional probabilistic logics (2014)

    De Bona, Glauber ; Cozman, Fabio Gagliardi ; Finger, Marcelo

    Source: Journal of Applied Logic. Unidades: EP, IME

    Subjects: INTELIGÊNCIA ARTIFICIAL, RACIOCÍNIO PROBABILÍSTICO, PROBABILIDADE

    PrivadoAcesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      DE BONA, Glauber e COZMAN, Fabio Gagliardi e FINGER, Marcelo. Towards classifying propositional probabilistic logics. Journal of Applied Logic, v. 12, n. 3, p. 349-368, 2014Tradução . . Disponível em: https://doi.org/10.1016/j.jal.2014.01.005. Acesso em: 18 abr. 2024.

    • APA

      De Bona, G., Cozman, F. G., & Finger, M. (2014). Towards classifying propositional probabilistic logics. Journal of Applied Logic, 12( 3), 349-368. doi:10.1016/j.jal.2014.01.005

    • NLM

      De Bona G, Cozman FG, Finger M. Towards classifying propositional probabilistic logics [Internet]. Journal of Applied Logic. 2014 ; 12( 3): 349-368.[citado 2024 abr. 18 ] Available from: https://doi.org/10.1016/j.jal.2014.01.005

    • Vancouver

      De Bona G, Cozman FG, Finger M. Towards classifying propositional probabilistic logics [Internet]. Journal of Applied Logic. 2014 ; 12( 3): 349-368.[citado 2024 abr. 18 ] Available from: https://doi.org/10.1016/j.jal.2014.01.005

  • Artigo de periodico

    Towards automated first-order abduction: the cut-based approach (2012)

    Finger, Marcelo

    Source: Logic Journal of the IGPL. Unidade: IME

    Assunto: LÓGICA DE PRIMEIRA ORDEM

    Acesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      FINGER, Marcelo. Towards automated first-order abduction: the cut-based approach. Logic Journal of the IGPL, v. 20, n. 2, p. 370-387, 2012Tradução . . Disponível em: https://doi.org/10.1093/jigpal/jzq052. Acesso em: 18 abr. 2024.

    • APA

      Finger, M. (2012). Towards automated first-order abduction: the cut-based approach. Logic Journal of the IGPL, 20( 2), 370-387. doi:10.1093/jigpal/jzq052

    • NLM

      Finger M. Towards automated first-order abduction: the cut-based approach [Internet]. Logic Journal of the IGPL. 2012 ; 20( 2): 370-387.[citado 2024 abr. 18 ] Available from: https://doi.org/10.1093/jigpal/jzq052

    • Vancouver

      Finger M. Towards automated first-order abduction: the cut-based approach [Internet]. Logic Journal of the IGPL. 2012 ; 20( 2): 370-387.[citado 2024 abr. 18 ] Available from: https://doi.org/10.1093/jigpal/jzq052

  • Trabalho de evento-anais periodico

    Towards an efficient prover for the C1 paraconsistent logic (2009)

    Neto, Adolfo ; Kaestner, Celso A. A.; Finger, Marcelo

    Source: Electronic Notes in Theoretical Computer Science. Conference titles: Workshop on Logical and Semantic Frameworks, with Applications - LSFA. Unidade: IME

    Subjects: LÓGICA FORMAL, WEB SEMÂNTICA

    Acesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      NETO, Adolfo e KAESTNER, Celso A. A. e FINGER, Marcelo. Towards an efficient prover for the C1 paraconsistent logic. Electronic Notes in Theoretical Computer Science. Amsterdam: Elsevier. Disponível em: https://doi.org/10.1016/j.entcs.2009.11.007. Acesso em: 18 abr. 2024. , 2009

    • APA

      Neto, A., Kaestner, C. A. A., & Finger, M. (2009). Towards an efficient prover for the C1 paraconsistent logic. Electronic Notes in Theoretical Computer Science. Amsterdam: Elsevier. doi:10.1016/j.entcs.2009.11.007

    • NLM

      Neto A, Kaestner CAA, Finger M. Towards an efficient prover for the C1 paraconsistent logic [Internet]. Electronic Notes in Theoretical Computer Science. 2009 ; 256 87-102.[citado 2024 abr. 18 ] Available from: https://doi.org/10.1016/j.entcs.2009.11.007

    • Vancouver

      Neto A, Kaestner CAA, Finger M. Towards an efficient prover for the C1 paraconsistent logic [Internet]. Electronic Notes in Theoretical Computer Science. 2009 ; 256 87-102.[citado 2024 abr. 18 ] Available from: https://doi.org/10.1016/j.entcs.2009.11.007

  • Artigo de periodico

    The unrestricted combination of temporal logic systems (2002)

    Finger, Marcelo ; Weiss, Maria Angela

    Source: Logic Journal of the IGPL. Unidade: IME

    Assunto: LÓGICA

    Acesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      FINGER, Marcelo e WEISS, Maria Angela. The unrestricted combination of temporal logic systems. Logic Journal of the IGPL, v. 10, n. 2, p. 165-189, 2002Tradução . . Disponível em: https://doi.org/10.1093/jigpal/10.2.165. Acesso em: 18 abr. 2024.

    • APA

      Finger, M., & Weiss, M. A. (2002). The unrestricted combination of temporal logic systems. Logic Journal of the IGPL, 10( 2), 165-189. doi:10.1093/jigpal/10.2.165

    • NLM

      Finger M, Weiss MA. The unrestricted combination of temporal logic systems [Internet]. Logic Journal of the IGPL. 2002 ; 10( 2): 165-189.[citado 2024 abr. 18 ] Available from: https://doi.org/10.1093/jigpal/10.2.165

    • Vancouver

      Finger M, Weiss MA. The unrestricted combination of temporal logic systems [Internet]. Logic Journal of the IGPL. 2002 ; 10( 2): 165-189.[citado 2024 abr. 18 ] Available from: https://doi.org/10.1093/jigpal/10.2.165

  • Artigo de periodico

    The universe of propositional approximations (2006)

    Finger, Marcelo ; Wassermann, Renata

    Source: Theoretical Computer Science. Unidade: IME

    Assunto: LÓGICA MATEMÁTICA

    Acesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      FINGER, Marcelo e WASSERMANN, Renata. The universe of propositional approximations. Theoretical Computer Science, v. 355, n. 2, p. 153-166, 2006Tradução . . Disponível em: https://doi.org/10.1016/j.tcs.2006.01.007. Acesso em: 18 abr. 2024.

    • APA

      Finger, M., & Wassermann, R. (2006). The universe of propositional approximations. Theoretical Computer Science, 355( 2), 153-166. doi:10.1016/j.tcs.2006.01.007

    • NLM

      Finger M, Wassermann R. The universe of propositional approximations [Internet]. Theoretical Computer Science. 2006 ; 355( 2): 153-166.[citado 2024 abr. 18 ] Available from: https://doi.org/10.1016/j.tcs.2006.01.007

    • Vancouver

      Finger M, Wassermann R. The universe of propositional approximations [Internet]. Theoretical Computer Science. 2006 ; 355( 2): 153-166.[citado 2024 abr. 18 ] Available from: https://doi.org/10.1016/j.tcs.2006.01.007

  • Trabalho de evento-anais periodico

    The universe of approximations (2003)

    Finger, Marcelo ; Wassermann, Renata

    Source: Electronic Notes in Theoretical Computer Science. Conference titles: Workshop on Logic, Language, Information and Computation - WoLLIC. Unidade: IME

    Subjects: INTELIGÊNCIA ARTIFICIAL, REPRESENTAÇÃO DE CONHECIMENTO

    Acesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      FINGER, Marcelo e WASSERMANN, Renata. The universe of approximations. Electronic Notes in Theoretical Computer Science. Amsterdam: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: https://doi.org/10.1016/S1571-0661(04)80847-8. Acesso em: 18 abr. 2024. , 2003

    • APA

      Finger, M., & Wassermann, R. (2003). The universe of approximations. Electronic Notes in Theoretical Computer Science. Amsterdam: Instituto de Matemática e Estatística, Universidade de São Paulo. doi:10.1016/S1571-0661(04)80847-8

    • NLM

      Finger M, Wassermann R. The universe of approximations [Internet]. Electronic Notes in Theoretical Computer Science. 2003 ; 84 91-104.[citado 2024 abr. 18 ] Available from: https://doi.org/10.1016/S1571-0661(04)80847-8

    • Vancouver

      Finger M, Wassermann R. The universe of approximations [Internet]. Electronic Notes in Theoretical Computer Science. 2003 ; 84 91-104.[citado 2024 abr. 18 ] Available from: https://doi.org/10.1016/S1571-0661(04)80847-8

  • Trabalho de evento

    The lacio-web project: overview and issues in brazilian protuguese corpora creation (2003)

    Aluísio, Sandra Maria ; Pinheiro, Gisele Montilha; Finger, Marcelo ; Nunes, Maria das Graças Volpe; Tagnin, Stella Esther Ortweiler

    Source: Proceedings. Conference titles: Corpus Linguistics 2003 Conference. Unidades: ICMC, IME, FFLCH

    Subjects: INTELIGÊNCIA ARTIFICIAL, LINGUÍSTICA COMPUTACIONAL, LÉXICO, PORTUGUÊS DO BRASIL

    How to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      ALUÍSIO, Sandra Maria et al. The lacio-web project: overview and issues in brazilian protuguese corpora creation. 2003, Anais.. Lancaster: Lancaster University, 2003. . Acesso em: 18 abr. 2024.

    • APA

      Aluísio, S. M., Pinheiro, G. M., Finger, M., Nunes, M. das G. V., & Tagnin, S. E. O. (2003). The lacio-web project: overview and issues in brazilian protuguese corpora creation. In Proceedings. Lancaster: Lancaster University.

    • NLM

      Aluísio SM, Pinheiro GM, Finger M, Nunes M das GV, Tagnin SEO. The lacio-web project: overview and issues in brazilian protuguese corpora creation. Proceedings. 2003 ;[citado 2024 abr. 18 ]

    • Vancouver

      Aluísio SM, Pinheiro GM, Finger M, Nunes M das GV, Tagnin SEO. The lacio-web project: overview and issues in brazilian protuguese corpora creation. Proceedings. 2003 ;[citado 2024 abr. 18 ]

  • Artigo de periodico

    The lacio-web project: overview and issues in Brazilian Portuguese corpora creation (2003)

    Aluísio, Sandra Maria ; Pinheiro, Gisele Montilha; Finger, Marcelo ; Nunes, Maria das Graças Volpe; Tagnin, Stella Esther Ortweiler

    Source: Cadernos de Computação. Unidades: ICMC, IME, FFLCH

    Subjects: INTELIGÊNCIA ARTIFICIAL, LINGUÍSTICA COMPUTACIONAL, LÉXICO, PORTUGUÊS DO BRASIL

    How to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      ALUÍSIO, Sandra Maria et al. The lacio-web project: overview and issues in Brazilian Portuguese corpora creation. Cadernos de Computação, v. 4, n. 1, p. 131-145, 2003Tradução . . Acesso em: 18 abr. 2024.

    • APA

      Aluísio, S. M., Pinheiro, G. M., Finger, M., Nunes, M. das G. V., & Tagnin, S. E. O. (2003). The lacio-web project: overview and issues in Brazilian Portuguese corpora creation. Cadernos de Computação, 4( 1), 131-145.

    • NLM

      Aluísio SM, Pinheiro GM, Finger M, Nunes M das GV, Tagnin SEO. The lacio-web project: overview and issues in Brazilian Portuguese corpora creation. Cadernos de Computação. 2003 ; 4( 1): 131-145.[citado 2024 abr. 18 ]

    • Vancouver

      Aluísio SM, Pinheiro GM, Finger M, Nunes M das GV, Tagnin SEO. The lacio-web project: overview and issues in Brazilian Portuguese corpora creation. Cadernos de Computação. 2003 ; 4( 1): 131-145.[citado 2024 abr. 18 ]

1 - 20 (133 records)

Digital Library of Intellectual Production of Universidade de São Paulo     2012 - 2024