Sciweavers

5082 search results - page 643 / 1017
» Hierarchical Genetic Algorithms
Sort
View
DCC
2004
IEEE
16 years 6 months ago
Multi-resolution Source Coding Using Entropy Constrained Dithered Scalar Quantization
In this paper, we build multi-resolution source codes using entropy constrained dithered scalar quantizers. We demonstrate that for n-dimensional random vectors, dithering followe...
Qian Zhao, Hanying Feng, Michelle Effros
ATVA
2004
Springer
78views Hardware» more  ATVA 2004»
16 years 5 days ago
Partial Order Reduction for Detecting Safety and Timing Failures of Timed Circuits
This paper proposes a partial order reduction algorithm for timed trace theoretic verification in order to detect both safety failures and timing failures of timed circuits effic...
Denduang Pradubsuwun, Tomohiro Yoneda, Chris J. My...
SSIAI
2000
IEEE
15 years 11 months ago
Morphological Pyramid Image Registration
We proposed an intensity-based morphological pyramid image registration algorithm. This approach utilizes the global affine transformation model, also considering radiometric chan...
Zhongxiu Hu, Scott T. Acton
ICLP
1995
Springer
15 years 10 months ago
Type Inferencing for Polymorphic Order-Sorted Logic Programs
The purpose of this paper is to study the problem of complete type inferencing for polymorphic order-sorted logic programs. We show that previous approaches are incomplete even if...
Christoph Beierle
IVEVA
2004
15 years 8 months ago
Groups and Crowds with behaviors specified in the environment
Abstract. In this paper we describe a system where behavior of characters and groups of characters are determined by assigning attributes to groups and individuals hierarchically a...
Isaac Rudomín, Fernando Perez, Erik Mill&aa...