Sciweavers

290 search results - page 20 / 58

» Congruence for Structural Congruences

59

ICALP
1998
Springer

125views Programming Languages» more ICALP 1998»

Complete Proof Systems for Observation Congruences in Finite-Control pi-Calculus

15 years 1 months ago

Complete Proof Systems for Observation Congruences in Finite-Control pi-Calculus

Download basics.sjtu.edu.cn

Huimin Lin

claim paper

Read More »

61

Voted

DAC
1997
ACM

86views Computer Architecture» more DAC 1997»

Preservation of Passivity During RLC Network Reduction via Split Congruence Transformations

15 years 1 months ago

Preservation of Passivity During RLC Network Reduction via Split Congruence Transformations

Download www.cecs.uci.edu

Kevin J. Kerns, Andrew T. Yang

claim paper

Read More »

46

ICCAD
1995
IEEE

61views Hardware» more ICCAD 1995»

Stable and efficient reduction of substrate model networks using congruence transforms

15 years 1 months ago

Stable and efficient reduction of substrate model networks using congruence transforms

Download www.cs.york.ac.uk

Kevin J. Kerns, Ivan L. Wemple, Andrew T. Yang

claim paper

Read More »

89

EUROCAL
1987

172views Mathematics» more EUROCAL 1987»

A critical pair criterion for completion modulo a congruence

15 years 1 months ago

A critical pair criterion for completion modulo a congruence

Download www.cs.tau.ac.il

Leo Bachmair, Nachum Dershowitz

claim paper

Read More »

78

NIPS
2007

262views Information Technology» more NIPS 2007»

Congruence between model and human attention reveals unique signatures of critical visual events

14 years 11 months ago

Congruence between model and human attention reveals unique signatures of critical visual events

Download books.nips.cc

Current computational models of bottom-up and top-down components of attention are predictive of eye movements across a range of stimuli and of simple, ﬁxed visual tasks (such a...

Robert J. Peters, Laurent Itti

claim paper

Read More »

« Prev « First page 20 / 58 Last » Next »