Sciweavers

2018 search results - page 149 / 404
» Code Normal Forms
Sort
View
ICIP
2000
IEEE
15 years 7 months ago
Texture Similarity Measurement Using Kullback-Leibler Distance on Wavelet Subbands
The focus of this work is on using texture information for searching, browsing and retrieving images from a large database. In the wavelet approaches, texture is characterized by ...
Minh N. Do, Martin Vetterli
ISSAC
1997
Springer
157views Mathematics» more  ISSAC 1997»
15 years 6 months ago
On the Worst-case Complexity of Integer Gaussian Elimination
Gaussian elimination is the basis for classical algorithms for computing canonical forms of integer matrices. Experimental results have shown that integer Gaussian elimination may...
Xin Gui Fang, George Havas
104
Voted
ACSC
2004
IEEE
15 years 6 months ago
Self-Replicating Expressions in the Lambda Calculus
The study of self-replicating structures in Computer Science has been taking place for more than half a century, motivated by the desire to understand the fundamental principles a...
James Larkin, Phil Stocks
134
Voted
CATS
2007
15 years 4 months ago
Constructing Strictly Positive Families
In order to represent, compute and reason with advanced data types one must go beyond the traditional treatment of data types as being inductive types and, instead, consider them ...
Peter Morris, Thorsten Altenkirch, Neil Ghani
118
Voted
IJCAI
2007
15 years 4 months ago
Compiling Bayesian Networks by Symbolic Probability Calculation Based on Zero-Suppressed BDDs
Compiling Bayesian networks (BNs) is one of the hot topics in the area of probabilistic modeling and processing. In this paper, we propose a new method of compiling BNs into multi...
Shin-ichi Minato, Ken Satoh, Taisuke Sato