Sciweavers

3885 search results - page 60 / 777

» Transformations for Write-All-with-Collision Model

19

ICIP
1998
IEEE

142views Image Processing» more ICIP 1998»

Skewed 2D Hilbert Transforms and Computed AM-FM Models

13 years 11 months ago

Skewed 2D Hilbert Transforms and Computed AM-FM Models

Download hotnsour.ou.edu

Joseph P. Havlicek, John W. Havlicek, Ngao D. Mamu...

claim paper

Read More »

19

VTS
2000
IEEE

83views Hardware» more VTS 2000»

Using Arithmetic Transform for Verification of Datapath Circuits via Error Modeling

13 years 11 months ago

Using Arithmetic Transform for Verification of Datapath Circuits via Error Modeling

Download www.iml.ece.mcgill.ca

Katarzyna Radecka, Zeljko Zilic

claim paper

Read More »

13

ICCAD
1995
IEEE

61views Hardware» more ICCAD 1995»

Stable and efficient reduction of substrate model networks using congruence transforms

13 years 11 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 »

15

AIRS
2005
Springer

107views Information Technology» more AIRS 2005»

Image Feedback Retrieval Based on Vector Space Model Transformation

13 years 9 months ago

Image Feedback Retrieval Based on Vector Space Model Transformation

Download pub2.db.tokushima-u.ac.jp

Luo Xin, Shiro Ajioka, Masami Shishibori, Kenji Ki...

claim paper

Read More »

22

CSL
2008
Springer

121views Automated Reasoning» more CSL 2008»

Model Transformations in Decidability Proofs for Monadic Theories

13 years 9 months ago

Model Transformations in Decidability Proofs for Monadic Theories

Download www-i7.informatik.rwth-aachen.de

We survey two basic techniques for showing that the monadic second-order theory of a structure is decidable. In the first approach, one deals with finite fragments of the theory (g...

Wolfgang Thomas

claim paper

Read More »

« Prev « First page 60 / 777 Last » Next »