skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: Lista de Todas as Versões Computer Science, Software Engineering remover Lista de Todas as Versões Computer Science, Theory & Methods remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
PLATO: A tool to assist programming as term rewriting and theorem proving
PLATO: A tool to assist programming as term rewriting and theorem proving
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

PLATO: A tool to assist programming as term rewriting and theorem proving

Sampaio, Andre J. ; Haeberer, Armando M. ; Prates, Claudio T. ; Ururahy, Cristina D. ; Frias, Marcelo F. ; Albuquerque, Neudson C.

TAPSOFT '95: Theory and Practice of Software Development, 1995, p.797-798 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
2
Celebrating the legacy of PLATO
Celebrating the legacy of PLATO
Material Type:
magazinearticle 		Adicionar ao Meu Espaço

Celebrating the legacy of PLATO

Kroeker, Kirk L.

Communications of the ACM, 2010-08, Vol.53 (8), p.19-20

New York: Association for Computing Machinery

Texto completo disponível

Citações Citado por
3
Building objects out of Plato: applying philosophy, symbolism, and analogy to software design
Building objects out of Plato: applying philosophy, symbolism, and analogy to software design
Material Type:
magazinearticle 		Adicionar ao Meu Espaço

Building objects out of Plato: applying philosophy, symbolism, and analogy to software design

Giguette, Ray

Communications of the ACM, 2006-10, Vol.49 (10), p.66-71

New York: Association for Computing Machinery

Texto completo disponível

Citações Citado por
4
Genetic Algorithm for the Column Subset Selection Problem
Genetic Algorithm for the Column Subset Selection Problem
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Genetic Algorithm for the Column Subset Selection Problem

Kromer, Pavel ; Plato, Jan ; Snael, Vaclav

2014 Eighth International Conference on Complex, Intelligent and Software Intensive Systems, 2014, p.16-22

IEEE

Texto completo disponível

Citações Citado por
5
Modelling Multi-Agent Epistemic Planning in ASP
Modelling Multi-Agent Epistemic Planning in ASP
Material Type:
Artigo 		Adicionar ao Meu Espaço

Modelling Multi-Agent Epistemic Planning in ASP

BURIGANA, ALESSANDRO ; FABIANO, FRANCESCO ; DOVIER, AGOSTINO ; PONTELLI, ENRICO

Theory and practice of logic programming, 2020-09, Vol.20 (5), p.593-608 [Periódico revisado por pares]

Cambridge, UK: Cambridge University Press

Texto completo disponível

Citações Citado por
6
Population data mobility retrieval at territory of Czechia in pandemic COVID‐19 period
Population data mobility retrieval at territory of Czechia in pandemic COVID‐19 period
Material Type:
Artigo 		Adicionar ao Meu Espaço

Population data mobility retrieval at territory of Czechia in pandemic COVID‐19 period

Platos, Jan ; Kromer, Pavel ; Voznak, Miroslav ; Snasel, Vaclav

Concurrency and computation, 2021-12, Vol.33 (23), p.e6105-n/a [Periódico revisado por pares]

England: Wiley Subscription Services, Inc

Texto completo disponível

Citações Citado por
7
Enabling AI at the edge with XNOR-networks
Enabling AI at the edge with XNOR-networks
Material Type:
magazinearticle 		Adicionar ao Meu Espaço

Enabling AI at the edge with XNOR-networks

Rastegari, Mohammad ; Ordonez, Vicente ; Redmon, Joseph ; Farhadi, Ali

Communications of the ACM, 2020-12, Vol.63 (12), p.83-90

New York: Association for Computing Machinery, Inc

Texto completo disponível

Citações Citado por
8
Serious storytelling – a first definition and review
Serious storytelling – a first definition and review
Material Type:
Artigo 		Adicionar ao Meu Espaço

Serious storytelling – a first definition and review

Lugmayr, Artur ; Sutinen, Erkki ; Suhonen, Jarkko ; Sedano, Carolina Islas ; Hlavacs, Helmut ; Montero, Calkin Suero

Multimedia tools and applications, 2017-07, Vol.76 (14), p.15707-15733 [Periódico revisado por pares]

New York: Springer US

Texto completo disponível

Citações Citado por
9
Transformative computing in security, big data analysis, and cloud computing applications
Transformative computing in security, big data analysis, and cloud computing applications
Material Type:
Artigo 		Adicionar ao Meu Espaço

Transformative computing in security, big data analysis, and cloud computing applications

Ogiela, Lidia ; Leu, Fang‐Yie ; Fiore, Ugo

Concurrency and computation, 2021-12, Vol.33 (23), p.n/a [Periódico revisado por pares]

Hoboken, USA: John Wiley & Sons, Inc

Texto completo disponível

Citações Citado por
10
Art by Computing Machinery: Is Machine Art Acceptable in the Artworld?
Art by Computing Machinery: Is Machine Art Acceptable in the Artworld?
Material Type:
Artigo 		Adicionar ao Meu Espaço

Art by Computing Machinery: Is Machine Art Acceptable in the Artworld?

Ch'ng, Eugene ; Ch'ng, Eugene

ACM transactions on multimedia computing communications and applications, 2019-08, Vol.15 (2s), p.1-17, Article 59 [Periódico revisado por pares]

New York, NY, USA: ACM

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.   

Mostrar Somente

  1. Revistas revisadas por pares (40)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (36)
  2. magazinearticle  (13)
  3. Anais de Congresso  (10)
  4. Book Chapters  (3)
  5. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1995  (5)
  2. 1995Até2003  (6)
  3. 2004Até2011  (7)
  4. 2012Até2017  (17)
  5. Após 2017  (28)
  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.