Sciweavers

29 search results - page 1 / 6

» ac 2002

8

ACS
2002

94views Distributed And Parallel Com...» more ACS 2002»

An Intrinsic Homotopy Theory for Simplicial Complexes, with Applications to Image Analysis

13 years 4 months ago

An Intrinsic Homotopy Theory for Simplicial Complexes, with Applications to Image Analysis

Download www.dima.unige.it

Marco Grandis

claim paper

Read More »

14

AC
2002
Springer

94views Software Engineering» more AC 2002»

Timed Verification of Asynchronous Circuits

13 years 4 months ago

Timed Verification of Asynchronous Circuits

Download www.configit.com

Jesper B. Møller, Henrik Hulgaard, Henrik R...

claim paper

Read More »

10

AC
2002
Springer

87views Software Engineering» more AC 2002»

Quantum computing and communication

13 years 4 months ago

Quantum computing and communication

Download hissa.nist.gov

Paul E. Black, D. Richard Kuhn, Carl J. Williams

claim paper

Read More »

9

ACS
2002

132views Distributed And Parallel Com...» more ACS 2002»

On a Generalization of the Stone-Weierstrass Theorem

13 years 4 months ago

On a Generalization of the Stone-Weierstrass Theorem

Download www2.mat.ua.pt

Abstract. A categorical version of the famous theorem of Stone and Weierstrass is formulated and studied in detail. Several applications and examples are given.

Dirk Hofmann

claim paper

Read More »

13

ENTCS
2002

108views more ENTCS 2002»

Rewriting in the partial algebra of typed terms modulo AC

13 years 4 months ago

Rewriting in the partial algebra of typed terms modulo AC

Download www.liafa.jussieu.fr

We study the partial algebra of typed terms with an associative commutative and idempotent operator (typed AC-terms). The originality lies in the representation of the typing poli...

Thomas Colcombet

claim paper

Read More »

« Prev « First page 1 / 6 Last » Next »