Sciweavers

3256 search results - page 162 / 652
» Learning Linear Transformations
Sort
View
ICCD
2000
IEEE
119views Hardware» more  ICCD 2000»
15 years 5 months ago
Source-Level Transformations for Improved Formal Verification
A major obstacle to widespread acceptance of formal verification is the difficulty in using the tools effectively. Although learning the basic syntax and operation of a formal ver...
Brian D. Winters, Alan J. Hu
BMCBI
2006
143views more  BMCBI 2006»
15 years 2 months ago
Discovering functional gene expression patterns in the metabolic network of Escherichia coli with wavelets transforms
Background: Microarray technology produces gene expression data on a genomic scale for an endless variety of organisms and conditions. However, this vast amount of information nee...
Rainer König, Gunnar Schramm, Marcus Oswald, ...
ACL
2010
15 years 9 days ago
Global Learning of Focused Entailment Graphs
We propose a global algorithm for learning entailment relations between predicates. We define a graph structure over predicates that represents entailment relations as directed ed...
Jonathan Berant, Ido Dagan, Jacob Goldberger
ICIP
2007
IEEE
16 years 4 months ago
Using Phase and Magnitude Information of the Complex Directional Filter Bank for Texture Image Retrieval
This paper discusses how to utilize both magnitude and phase information obtained from the complex directional lter bank (CDFB) for the purpose of texture image retrieval. The rel...
An P. N. Vo, Soontorn Oraintara, Truong T. Nguyen
DCC
1999
IEEE
15 years 6 months ago
Embedded Post-Processing for Enhancement of Compressed Images
This paper presents a simple and e ective post-processing method for compressed images. This work focuses on the cyclic time-variance introduced by block-based and subband transfo...
Aria Nosratinia