Search Sciweavers | Sciweavers

9532 search results - page 17 / 1907

» Logic, Graphs, and Algorithms

Voted

POPL
2000
ACM

131views Programming Languages» more POPL 2000»

(Optimal) Duplication is not Elementary Recursive

15 years 4 months ago

Download www.cs.unibo.it

In 1998 Asperti and Mairson proved that the cost of reducing a lambda-term using an optimal lambda-reducer (a la L´evy) cannot be bound by any elementary function in the number o...

Andrea Asperti, Paolo Coppola, Simone Martini

claim paper

Read More »

130

click to vote

ICCAD
1999
IEEE

148views Hardware» more ICCAD 1999»

SAT based ATPG using fast justification and propagation in the implication graph

15 years 4 months ago

Download www.cecs.uci.edu

In this paper we present new methods for fast justification and propagation in the implication graph (IG) which is the core data structure of our SAT based implication engine. As ...

Paul Tafertshofer, Andreas Ganz

claim paper

Read More »

104

Voted

LMCS
2006

119views more LMCS 2006»

The monadic second-order logic of graphs XVI : Canonical graph decompositions

15 years 15 days ago

Download www.labri.fr

This article establishes that the split decomposition of graphs introduced by Cunnigham, is definable in Monadic Second-Order Logic.This result is actually an instance of a more ge...

Bruno Courcelle

claim paper

Read More »

Voted

EUSFLAT
2009

107views Fuzzy Logic» more EUSFLAT 2009»

Generalizations of Fuzzy C-Means Algorithm to Granular Feature Spaces, based on Underlying Metrics: Issues and Related Works

14 years 10 months ago

Download www.eusflat.org

Vasile Georgescu

claim paper

Read More »