skip to main content
Idioma:
previous page 1 Resultados 2
Refinado por: Nome da Publicação: Electronic Notes in Theoretical Computer Science remover
Result Number Material Type Add to My Shelf Action Record Details and Options
11
Approximations of Modal Logic K
Approximations of Modal Logic K
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Approximations of Modal Logic K

Guilherme de Souza Rabello Marcelo Finger; Workshop on Logic, Language, Information and Computation - WoLLIC (12. 2005 Florianópolis, Brasil)

Electronic Notes in Theoretical Computer Science Amsterdam v. 14 , p. 171-184, 2006

Amsterdam Elsevier 2006

Localização: IME - Inst. Matemática e Estatística    (PROD-3009534 )(Acessar)

12
Model checking merged program traces
Model checking merged program traces
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Model checking merged program traces

Paulo Salem da Silva Ana Cristina Vieira de Melo; Brazilian Symposium on Formal Methods - SBMF (11. 2008 Salvador, Brasil)

Electronic Notes in Theoretical Computer Science Amsterdam v. 240, p. 97-112, 2009

Amsterdam Elsevier 2009

Localização: IME - Inst. Matemática e Estatística    (PROD-3010468 )(Acessar)

13
An efficient algorithm for representing piecewise linear functions into logic
An efficient algorithm for representing piecewise linear functions into logic
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

An efficient algorithm for representing piecewise linear functions into logic

Sandro Preto Marcelo Finger; International Workshop on Logical and Semantic Frameworks, with Applications - LSFA 2020 (15. 2020 Salvador, Brasil)

Electronic Notes in Theoretical Computer Science Amsterdam v. 351, p.167-186, 2020

Amsterdam Elsevier 2020

Localização: IME - Inst. Matemática e Estatística    (PROD-3013847 )(Acessar)

14
Definability in o-minimal expansions of the real numbers
Definability in o-minimal expansions of the real numbers
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Definability in o-minimal expansions of the real numbers

Ricardo Bianconi Workhop on Logic, Language, Information and Computation - WoLLIC (9. 2002 Rio de Janeiro)

Electronic Notes in Theoretical Computer Science Amsterdam v. 67, p. 1-6, 2002

Amsterdam 2002

Localização: IME - Inst. Matemática e Estatística    (PROD-3071052 )(Acessar)

15
A comparison of multi-label feature selection methods using the problem transformation approach
A comparison of multi-label feature selection methods using the problem transformation approach
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

A comparison of multi-label feature selection methods using the problem transformation approach

Newton Spolaôr Everton Alvares Cherman; Maria Carolina Monard; Huei Diana Lee; Latin American Conference in Informatics - CLEI (38. 2012 Medellín, Colombia)

Electronic Notes in Theoretical Computer Science Amsterdam : Elsevier v. 292, n. 5, p. 135-151, mar. 2013

Amsterdam Elsevier 2013

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD-2340527 )(Acessar)

16
A framework to generate synthetic multi-label datasets
A framework to generate synthetic multi-label datasets
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

A framework to generate synthetic multi-label datasets

Jimena Torres Tomás Newton Spolaôr; Everton Alvares Cherman; Maria Carolina Monard; Latin American Computing Conference - CLEI (39. 2013 Naiguatá, Venezuela)

Electronic Notes in Theoretical Computer Science Amsterdam : Elsevier v. 302, p. 155-176, fev. 2014

Amsterdam Elsevier 2014

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD-2449893 )(Acessar)

previous page 1 Resultados 2

Personalize Seus Resultados

  1. Editar

Refine Search Results

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

Buscando em bases de dados remotas. Favor aguardar.