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 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

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
2
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

Arik, Sabri ; Huang, Tingwen ; 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
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

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

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
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

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
6
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

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
7
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

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
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

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
Propositional Encoding of Constraints over Tree-Shaped Data
Propositional Encoding of Constraints over Tree-Shaped Data
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Propositional Encoding of Constraints over Tree-Shaped Data

Hanus, Michael ; Rocha, Ricardo

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

Switzerland: Springer International Publishing AG

Texto completo disponível

Citações Citado por
10
A Descriptive Handling of Directly Conflicting Rules in Preferred Answer Sets
A Descriptive Handling of Directly Conflicting Rules in Preferred Answer Sets
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

A Descriptive Handling of Directly Conflicting Rules in Preferred Answer Sets

Hanus, Michael ; Rocha, Ricardo

Declarative Programming and Knowledge Management, 2014, Vol.8439, p.202-217 [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 (51)

Data de Publicação 

De até
Refinar
  1. Antes de1999  (5)
  2. 1999Até2003  (7)
  3. 2004Até2008  (12)
  4. 2009Até2014  (65)
  5. Após 2014  (43)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (131)
  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.