Sciweavers

6142 search results - page 616 / 1229
» The Complexity of Partition Functions
Sort
View
ICCD
2004
IEEE
122views Hardware» more  ICCD 2004»
16 years 4 months ago
Quality Improvement Methods for System-Level Stimuli Generation
Functional verification of systems is aimed at validating the integration of previously verified components. It deals with complex designs, and invariably suffers from scarce re...
Roy Emek, Itai Jaeger, Yoav Katz, Yehuda Naveh
ICASSP
2009
IEEE
16 years 1 months ago
Inpainting with sparse linear combinations of exemplars
We introduce a new exemplar-based inpainting algorithm that represents the region to be inpainted as a sparse linear combination of example blocks, extracted from the image being ...
Brendt Wohlberg
MIG
2009
Springer
16 years 1 months ago
Evolved Controllers for Simulated Locomotion
Abstract. We present a system for automatically evolving neural networks as physics-based locomotion controllers for humanoid characters. Our approach provides two key features: (a...
Brian F. Allen, Petros Faloutsos
INTERACTION
2009
ACM
16 years 1 months ago
A binary method for fast computation of inter and intra cluster similarities for combining multiple clusterings
In this paper, we introduce a novel binary method for fast computation of an objective function to measure inter and intra class similarities, which is used for combining multiple...
Selim Mimaroglu, A. Murat Yagci
DATE
2008
IEEE
121views Hardware» more  DATE 2008»
16 years 1 months ago
Quantitative Evaluation in Embedded System Design: Validation of Multiprocessor Multithreaded Architectures
As levels of parallelism are becoming increasingly complex in multiprocessor architectures, GALS, and asynchronous circuits, methodologies and software tools are needed to verify ...
Nicolas Coste, Hubert Garavel, Holger Hermanns, Ri...