skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Refinado por: Base de dados/Biblioteca: Free E- Journals remover tipo de recurso: Anais de Congresso remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Proceedings Joint Workshop on Handling IMPlicit and EXplicit knowledge in formal system development (IMPEX) and Formal and Model-Driven Techniques for Developing Trustworthy Systems (FM&MDD)
Proceedings Joint Workshop on Handling IMPlicit and EXplicit knowledge in formal system development (IMPEX) and Formal and Model-Driven Techniques for Developing Trustworthy Systems (FM&MDD)
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Proceedings Joint Workshop on Handling IMPlicit and EXplicit knowledge in formal system development (IMPEX) and Formal and Model-Driven Techniques for Developing Trustworthy Systems (FM&MDD)

Laleau, Régine ; Méry, Dominique ; Nakajima, Shin ; Troubitsyna, Elena

Electronic Proceedings in Theoretical Computer Science, 2018, Vol.EPTCS 271

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
2
Points to Patches: Enabling the Use of Self-Attention for 3D Shape Recognition
Points to Patches: Enabling the Use of Self-Attention for 3D Shape Recognition
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Points to Patches: Enabling the Use of Self-Attention for 3D Shape Recognition

Berg, Axel ; Oskarsson, Magnus ; O'Connor, Mark

arXiv.org, 2022

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
3
Enhancing Non-mass Breast Ultrasound Cancer Classification With Knowledge Transfer
Enhancing Non-mass Breast Ultrasound Cancer Classification With Knowledge Transfer
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Enhancing Non-mass Breast Ultrasound Cancer Classification With Knowledge Transfer

Hu, Yangrun ; Guo, Yuanfan ; Zhang, Fan ; Wang, Mingda ; Lin, Tiancheng ; Wu, Rong ; Xu, Yi

arXiv.org, 2022

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
4
SPINDLE: Spinning Raw Text into Lambda Terms with Graph Attention
SPINDLE: Spinning Raw Text into Lambda Terms with Graph Attention
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

SPINDLE: Spinning Raw Text into Lambda Terms with Graph Attention

Kogkalidis, Konstantinos ; Moortgat, Michael ; Moot, Richard

arXiv.org, 2023

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
5
Binary Non-Termination in Term Rewriting and Logic Programming
Binary Non-Termination in Term Rewriting and Logic Programming
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Binary Non-Termination in Term Rewriting and Logic Programming

Payet, Étienne

arXiv.org, 2023

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
6
Maximizing the Success Probability of Policy Allocations in Online Systems
Maximizing the Success Probability of Policy Allocations in Online Systems
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Maximizing the Success Probability of Policy Allocations in Online Systems

Betlei, Artem ; Vladimirova, Mariia ; Sebbar, Mehdi ; Urien, Nicolas ; Rahier, Thibaud ; Heymann, Benjamin

arXiv.org, 2023

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
7
Neural Probabilistic Logic Programming in Discrete-Continuous Domains
Neural Probabilistic Logic Programming in Discrete-Continuous Domains
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Neural Probabilistic Logic Programming in Discrete-Continuous Domains

De Smet, Lennert ; Pedro Zuidberg Dos Martires ; Manhaeve, Robin ; Marra, Giuseppe ; Kimmig, Angelika ; De Raedt, Luc

arXiv.org, 2023

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
8
Is CADP an Applicable Formal Method?
Is CADP an Applicable Formal Method?
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Is CADP an Applicable Formal Method?

Garavel, Hubert ; Lang, Frédéric ; Mateescu, Radu ; Serwe, Wendelin

arXiv.org, 2021

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
9
Metacognitive threshold: a computational account
Metacognitive threshold: a computational account
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Metacognitive threshold: a computational account

Conway-Smith, Brendan ; West, Robert L

arXiv.org, 2023

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
10
eP-ALM: Efficient Perceptual Augmentation of Language Models
eP-ALM: Efficient Perceptual Augmentation of Language Models
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

eP-ALM: Efficient Perceptual Augmentation of Language Models

Shukor, Mustafa ; Dancette, Corentin ; Cord, Matthieu

arXiv.org, 2023

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Data de Publicação 

De até
Refinar
  1. Antes de2004  (3)
  2. 2004Até2012  (6)
  3. 2013Até2015  (11)
  4. 2016Até2019  (19)
  5. Após 2019  (249)
  6. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.