Sciweavers

2302 search results - page 301 / 461
» Testing as Abstraction
Sort
View
IJCNN
2007
IEEE
16 years 25 days ago
Compact hardware for real-time speech recognition using a Liquid State Machine
Abstract— Hardware implementations of Spiking Neural Networks are numerous because they are well suited for implementation in digital and analog hardware, and outperform classic ...
Benjamin Schrauwen, Michiel D'Haene, David Verstra...
IPPS
2007
IEEE
16 years 25 days ago
Runtime Optimization of Application Level Communication Patterns
— This paper introduces the Abstract Data and Communication Library (ADCL). ADCL is an application level communication library aiming at providing the highest possible performanc...
Edgar Gabriel, Shuo Huang
IROS
2007
IEEE
134views Robotics» more  IROS 2007»
16 years 25 days ago
From path to trajectory deformation
Abstract— Path deformation is a technique that was introduced to generate robot motion wherein a path, that has been computed beforehand, is continuously deformed on-line in resp...
Hanna Kurniawati, Thierry Fraichard
ISMVL
2007
IEEE
104views Hardware» more  ISMVL 2007»
16 years 25 days ago
Evaluation of Toggle Coverage for MVL Circuits Specified in the SystemVerilog HDL
Designing modern circuits comprised of millions of gates is a very challenging task. Therefore new directions are investigated for efficient modeling and verification of such syst...
Mahsan Amoui, Daniel Große, Mitchell A. Thor...
MMM
2007
Springer
147views Multimedia» more  MMM 2007»
16 years 24 days ago
Generic 3-D Modeling for Content Analysis of Court-Net Sports Sequences
Abstract. In this paper, we present a generic 3-D modeling for analyzing court-net sports videos, which enables to map points in the real-world coordinates to the image coordinates...
Jungong Han, Dirk Farin, Peter H. N. de With