skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: tipo de recurso: Book Chapters remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
A Cost Sensitive Minimal Learning Machine for Pattern Classification
A Cost Sensitive Minimal Learning Machine for Pattern Classification
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

A Cost Sensitive Minimal Learning Machine for Pattern Classification

Gomes, João Paulo P. ; Souza, Amauri H. ; Corona, Francesco ; Neto, Ajalmar R. Rocha Huang, Tingwen ; Arik, Sabri ; Lai, Weng Kin ; Liu, Qingshan

Neural Information Processing, 2015, Vol.9489, p.557-564 [Periódico revisado por pares]

Switzerland: Springer International Publishing AG

Texto completo disponível

Citações Citado por
2
A Datalog Engine for GPUs
A Datalog Engine for GPUs
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

A Datalog Engine for GPUs

Martínez-Angeles, Carlos Alberto ; Dutra, Inês ; Costa, Vítor Santos ; Buenabad-Chávez, Jorge Hanus, Michael ; Rocha, Ricardo

Declarative Programming and Knowledge Management, 2014, Vol.8439, p.152-168 [Periódico revisado por pares]

Switzerland: Springer International Publishing AG

Texto completo disponível

Citações Citado por
3
hex-Programs with Existential Quantification
hex-Programs with Existential Quantification
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

hex-Programs with Existential Quantification

Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Redl, Christoph Hanus, Michael ; Rocha, Ricardo

Declarative Programming and Knowledge Management, 2014, Vol.8439, p.99-117 [Periódico revisado por pares]

Switzerland: Springer International Publishing AG

Texto completo disponível

Citações Citado por
4
Towards Parallel Constraint-Based Local Search with the X10 Language
Towards Parallel Constraint-Based Local Search with the X10 Language
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Towards Parallel Constraint-Based Local Search with the X10 Language

Munera, Danny ; Diaz, Daniel ; Abreu, Salvador Hanus, Michael ; Rocha, Ricardo

Declarative Programming and Knowledge Management, 2014, Vol.8439, p.169-184 [Periódico revisado por pares]

Switzerland: Springer International Publishing AG

Texto completo disponível

Citações Citado por
5
Some Experiments on Light-Weight Object-Functional-Logic Programming in Java with Paisley
Some Experiments on Light-Weight Object-Functional-Logic Programming in Java with Paisley
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Some Experiments on Light-Weight Object-Functional-Logic Programming in Java with Paisley

Trancón y Widemann, Baltasar ; Lepper, Markus Hanus, Michael ; Rocha, Ricardo

Declarative Programming and Knowledge Management, 2014, Vol.8439, p.218-233 [Periódico revisado por pares]

Switzerland: Springer International Publishing AG

Texto completo disponível

Citações Citado por
6
Construction of Explanation Graphs from Extended Dependency Graphs for Answer Set Programs
Construction of Explanation Graphs from Extended Dependency Graphs for Answer Set Programs
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Construction of Explanation Graphs from Extended Dependency Graphs for Answer Set Programs

Albrecht, Ella ; Krümpelmann, Patrick ; Kern-Isberner, Gabriele Hanus, Michael ; Rocha, Ricardo

Declarative Programming and Knowledge Management, 2014, Vol.8439, p.1-16 [Periódico revisado por pares]

Switzerland: Springer International Publishing AG

Texto completo disponível

Citações Citado por
7
On a High-Level Approach to Implementing Exact Real Arithmetic in the Functional Logic Programming Language Curry
On a High-Level Approach to Implementing Exact Real Arithmetic in the Functional Logic Programming Language Curry
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

On a High-Level Approach to Implementing Exact Real Arithmetic in the Functional Logic Programming Language Curry

Beierle, Christoph ; Lelitko, Udo Hanus, Michael ; Rocha, Ricardo

Declarative Programming and Knowledge Management, 2014, Vol.8439, p.48-64 [Periódico revisado por pares]

Switzerland: Springer International Publishing AG

Texto completo disponível

Citações Citado por
8
Introducing Real Variables and Integer Objective Functions to Answer Set Programming
Introducing Real Variables and Integer Objective Functions to Answer Set Programming
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Introducing Real Variables and Integer Objective Functions to Answer Set Programming

Liu, Guohua ; Janhunen, Tomi ; Niemelä, Ilkka Hanus, Michael ; Rocha, Ricardo

Declarative Programming and Knowledge Management, 2014, Vol.8439, p.118-135 [Periódico revisado por pares]

Switzerland: Springer International Publishing AG

Texto completo disponível

Citações Citado por
9
Coverage Driven Test Generation and Consistency Algorithm
Coverage Driven Test Generation and Consistency Algorithm
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Coverage Driven Test Generation and Consistency Algorithm

Paret, Jomu George Mani ; Ait Mohamed, Otmane Hanus, Michael ; Rocha, Ricardo

Declarative Programming and Knowledge Management, 2014, Vol.8439, p.136-151 [Periódico revisado por pares]

Switzerland: Springer International Publishing AG

Texto completo disponível

Citações Citado por
10
Heuristic Search over Program Transformations
Heuristic Search over Program Transformations
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Heuristic Search over Program Transformations

Zinn, Claus Hanus, Michael ; Rocha, Ricardo

Declarative Programming and Knowledge Management, 2014, Vol.8439, p.234-249 [Periódico revisado por pares]

Switzerland: Springer International Publishing AG

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 (55)

Data de Publicação 

De até
Refinar
  1. Antes de2000  (6)
  2. 2000Até2005  (14)
  3. 2006Até2011  (12)
  4. 2012Até2018  (120)
  5. Após 2018  (14)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (180)
  2. Japonês  (2)
  3. Português  (1)
  4. Espanhol  (1)
  5. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.