Search Sciweavers | Sciweavers

20

COMPGEOM
2009
ACM

105views Discrete Geometry» more COMPGEOM 2009»

Persistent cohomology and circular coordinates

14 years 2 months ago

Nonlinear dimensionality reduction (NLDR) algorithms such as Isomap, LLE and Laplacian Eigenmaps address the problem of representing high-dimensional nonlinear data in terms of lo...

Vin de Silva, Mikael Vejdemo-Johansson

claim paper

Read More »

26

click to vote

ICPR
2006
IEEE

1161views computer vision» more ICPR 2006»

Local Binary Pattern Descriptors for Dynamic Texture Recognition

14 years 8 months ago

Download www.ee.oulu.fi

Dynamic texture is an extension of texture to the temporal domain. In this paper, a new method for recognizing dynamic textures is proposed. The textures are modeled with concaten...

Guoying Zhao, Matti Pietikäinen

claim paper

Read More »

20

click to vote

FOSSACS
2010
Springer

121views Software Engineering» more FOSSACS 2010»

Incremental Pattern-Based Coinduction for Process Algebra and Its Isabelle Formalization

14 years 2 months ago

Download www.ideals.illinois.edu

We present a coinductive proof system for bisimilarity in transition systems speciﬁable in the de Simone SOS format. Our coinduction is incremental, in that it allows building in...

Andrei Popescu, Elsa L. Gunter

claim paper

Read More »

36

click to vote

VLSID
2001
IEEE

164views VLSI» more VLSID 2001»

An Efficient Parallel Transparent Bist Method For Multiple Embedded Memory Buffers

14 years 8 months ago

Download soc.cs.nchu.edu.tw

In this paper, we propose a new transparent built-in self-test ( TBIST ) method to test multiple embedded memory arrays with various sizes in parallel. First, a new transparent tes...

Der-Cheng Huang, Wen-Ben Jone, Sunil R. Das

claim paper

Read More »

60

click to vote

ICDE
2002
IEEE

92views Database» more ICDE 2002»

Efficient Indexing Structures for Mining Frequent Patterns

14 years 9 months ago

Download www.comp.nus.edu.sg

Bin Lan, Beng Chin Ooi, Kian-Lee Tan

claim paper