Search Sciweavers | Sciweavers

80

Voted

EURODAC
1994
IEEE

127views VHDL» more EURODAC 1994»

A Generalized Signal Transition Graph Model for Specification of Complex Interfaces

15 years 4 months ago

This paper introduces a new Generalized Signal Transition Graph model for specifying complex mixed asynchronous/synchronouscircuits, as found in system-level interfaces. Our goal h...

Peter Vanbekbergen, Chantal Ykman-Couvreur, Bill L...

claim paper

Read More »

92

Voted

SODA
1997
ACM

76views Algorithms» more SODA 1997»

Markov Chains for Linear Extensions, the Two-Dimensional Case

15 years 1 months ago

Download www.math.tu-berlin.de

We study the generation of uniformly distributed linear extensions using Markov chains. In particular we show that monotone coupling from the past can be applied in the case of lin...

Stefan Felsner, Lorenz Wernisch

claim paper

Read More »

103

Voted

MSCS
2007

117views more MSCS 2007»

Proofs, denotational semantics and observational equivalences in Multiplicative Linear Logic

14 years 12 months ago

Download logica.uniroma3.it

We study full completeness and syntactical separability of MLL proof nets with the mix rule. The general method we use consists ﬁrst in addressing the two questions in the less ...

Michele Pagani

claim paper

Read More »

98

Voted

TSP
2008

166views more TSP 2008»

Blind Identification of Underdetermined Mixtures by Simultaneous Matrix Diagonalization

14 years 11 months ago

Download publi-etis.ensea.fr

Abstract--In this paper, we study simultaneous matrix diagonalization-based techniques for the estimation of the mixing matrix in underdetermined independent component analysis (IC...

Lieven De Lathauwer, Joséphine Castaing

claim paper

Read More »

70

click to vote

VIS
2006
IEEE

96views Visualization» more VIS 2006»

Understanding the Structure of the Turbulent Mixing Layer in Hydrodynamic Instabilities

16 years 1 months ago

Download www.pascucci.org

Daniel Laney, Peer-Timo Bremer, Ajith Macarenhas...

claim paper