Search Sciweavers | Sciweavers

419 search results - page 15 / 84

» Succincter

139

click to vote

ATVA
2010
Springer

217views Hardware» more ATVA 2010»

LTL Can Be More Succinct

15 years 6 months ago

Download www.imsc.res.in

Abstract. It is well known that modelchecking and satisfiability of Linear Temporal Logic (LTL) are Pspace-complete. Wolper showed that with grammar operators, this result can be e...

Kamal Lodaya, A. V. Sreejith

claim paper

Read More »

click to vote

CORR
2008
Springer

65views Education» more CORR 2008»

Succinct Data Structures for Retrieval and Approximate Membership

15 years 5 months ago

Download www.itu.dk

Martin Dietzfelbinger, Rasmus Pagh

claim paper

Read More »

108

click to vote

ECCC
2008

89views more ECCC 2008»

Non-Linear Time Lower Bound for (Succinct) Quantified Boolean Formulas

15 years 5 months ago

Download www.cs.cmu.edu

Ryan Williams

claim paper

Read More »

155

click to vote

IJFCS
2008

98views more IJFCS 2008»

On Succinct Representation of Knowledge Community Taxonomies with Formal Concept Analysis

15 years 5 months ago

Download camille.roth.free.fr

We present an application of formal concept analysis aimed at representing a meaningful structure of knowledge communities in the form of a lattice-based taxonomy. The taxonomy gr...

Camille Roth, Sergei A. Obiedkov, Derrick G. Kouri...

claim paper

Read More »

114

click to vote

JEA
2008

78views more JEA 2008»

Succinct backward-DAWG-matching

15 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers