Sciweavers

2226 search results - page 82 / 446
» Computable Analysis via Representations
Sort
View
DAC
2006
ACM
16 years 5 months ago
Symmetry detection for large Boolean functions using circuit representation, simulation, and satisfiability
- Classical two-variable symmetries play an important role in many EDA applications, ranging from logic synthesis to formal verification. This paper proposes a complete circuit-bas...
Jin S. Zhang, Alan Mishchenko, Robert K. Brayton, ...
COLING
1996
15 years 5 months ago
Adjectival Modification in Text Meaning Representation
Tiffs work belongs to a family of research efforts, called nficrotheories and aimed at describing the static inemfing of all lexical categories in several languages in the fr,...
Victor Raskin, Sergei Nirenburg
WCRE
2007
IEEE
15 years 10 months ago
Clone Detection via Structural Abstraction
tection via Structural Abstraction William S. Evans Department of Computer Science University of British Columbia Vancouver, B.C. V6T 1Z4, CANADA Christopher W. Fraser Microsoft Re...
William S. Evans, Christopher W. Fraser, Fei Ma
ICIP
2010
IEEE
15 years 2 months ago
Texture classification via patch-based sparse texton learning
Texture classification is a classical yet still active topic in computer vision and pattern recognition. Recently, several new texture classification approaches by modeling textur...
Jin Xie, Lei Zhang, Jane You, David Zhang
146
Voted
CORR
2007
Springer
100views Education» more  CORR 2007»
15 years 4 months ago
Identifying statistical dependence in genomic sequences via mutual information estimates
Questions of understanding and quantifying the representation and amount of information in organisms have become a central part of biological research, as they potentially hold th...
H. M. Aktulga, I. Kontoyiannis, L. A. Lyznik, Luka...