Search Sciweavers | Sciweavers

4401 search results - page 70 / 881

» Computing with Default Logic

click to vote

SBCCI
2003
ACM

135views VLSI» more SBCCI 2003»

Modeling a Reconfigurable System for Computing the FFT in Place via Rewriting-Logic

14 years 2 months ago

Download www.mat.unb.br

The growing adoption of reconfigurable architectures opens new implementation alternatives and creates new design challenges. In the case of dynamically reconfigurable architectur...

Mauricio Ayala-Rincón, Rodrigo B. Nogueira,...

claim paper

Read More »

click to vote

ASP
2003
Springer

131views Automated Reasoning» more ASP 2003»

Computing Answer Sets of a Logic Program via-enumeration of SAT certificates

14 years 2 months ago

Download sunsite.informatik.rwth-aachen.de

Yuliya Lierler, Marco Maratea

claim paper

Read More »

click to vote

FLOPS
2001
Springer

103views Automated Reasoning» more FLOPS 2001»

Parameterized Logic Programs where Computing Meets Learning

14 years 1 months ago

Download www.jst.go.jp

Taisuke Sato

claim paper

Read More »

click to vote

ICLP
2001
Springer

111views Automated Reasoning» more ICLP 2001»

A Computational Model for Functional Logic Deductive Databases

14 years 1 months ago

Download www.ual.es

Jesús Manuel Almendros-Jiménez, Anto...

claim paper

Read More »

click to vote

CL
2000
Springer

111views Automated Reasoning» more CL 2000»

Computational Logic: Memories of the Past and Challenges for the Future

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers