Search Sciweavers | Sciweavers

3481 search results - page 70 / 697

» Higher-Order Logic Programming as Constraint Logic Programmi...

click to vote

DAC
2006
ACM

126views Computer Architecture» more DAC 2006»

Optimization of area under a delay constraint in digital filter synthesis using SAT-based integer linear programming

14 years 9 months ago

Download www.inesc-id.pt

In this paper, we propose an exact algorithm for the problem of area optimization under a delay constraint in the synthesis of multiplierless FIR filters. To the best of our knowl...

Eduardo A. C. da Costa, José Monteiro, Leve...

claim paper

Read More »

click to vote

LOPSTR
2009
Springer

229views Automated Reasoning» more LOPSTR 2009»

A Transformational Approach for Proving Properties of the CHR Constraint Store

14 years 3 months ago

Download www.cs.kuleuven.be

Proving termination of, or generating eﬃcient control for Constraint Handling Rules (CHR) programs requires information about the kinds of constraints that can show up in the CHR...

Paolo Pilozzi, Tom Schrijvers, Maurice Bruynooghe

claim paper

Read More »

click to vote

LPNMR
2001
Springer

158views Automated Reasoning» more LPNMR 2001»

Fixpoint Characterizations for Many-Valued Disjunctive Logic Programs with Probabilistic Semantics

14 years 1 months ago

Download www.kr.tuwien.ac.at

In this paper, we continue to explore many-valued disjunctive logic programs with probabilistic semantics. In particular, we newly introduce the least model state semantics for suc...

Thomas Lukasiewicz

claim paper

Read More »

click to vote

IAT
2008
IEEE

144views Intelligent Agents» more IAT 2008»

Combining Fuzzy Description Logics and Fuzzy Logic Programs

14 years 3 months ago