Search Sciweavers | Sciweavers

9532 search results - page 17 / 1907

» Logic, Graphs, and Algorithms

click to vote

POPL
2000
ACM

131views Programming Languages» more POPL 2000»

(Optimal) Duplication is not Elementary Recursive

14 years 3 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 »

click to vote

ICCAD
1999
IEEE

148views Hardware» more ICCAD 1999»

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

14 years 3 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 »

click to vote

LMCS
2006

119views more LMCS 2006»

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

13 years 11 months 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 »

click to vote

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

13 years 8 months ago

Download www.eusflat.org

Vasile Georgescu

claim paper

Read More »