Sciweavers

4355 search results - page 319 / 871
» Increasing Kolmogorov Complexity
Sort
View
CODES
2000
IEEE
15 years 11 months ago
Automatic test bench generation for simulation-based validation
In current design practice synthesis tools play a key role, letting designers to concentrate on the specificationof the system being designed by carrying out repetitive tasks such...
Marcello Lajolo, Luciano Lavagno, Maurizio Rebaude...
EUROMICRO
2000
IEEE
15 years 11 months ago
Formal Coverification of Embedded Systems Using Model Checking
The complexity of embedded systems is increasing rapidly. In consequence, new verification techniques that overcome the limitations of traditional methods and are suitable for har...
Luis Alejandro Cortés, Petru Eles, Zebo Pen...
HICSS
2000
IEEE
139views Biometrics» more  HICSS 2000»
15 years 11 months ago
Supporting Trust in Virtual Communities
At any given time, the stability of a community depends on the right balance of trust and distrust. Furthermore, we face information overload, increased uncertainty and risk takin...
Alfarez Abdul-Rahman, Stephen Hailes
ICC
2000
IEEE
15 years 11 months ago
A Class of Block-Iterative Equalizers for Intersymbol Interference Channels
—A new and efficient class of nonlinear equalizers is developed for intersymbol interference (ISI) channels. These “iterated-decision equalizers” use an optimized multipass a...
Albert M. Chan, Gregory W. Wornell
ICPR
2000
IEEE
15 years 11 months ago
Feature Learning for Recognition with Bayesian Networks
Many realistic visual recognition tasks are “open” in the sense that the number and nature of the categories to be learned are not initially known, and there is no closed set ...
Justus H. Piater, Roderic A. Grupen