Sciweavers

3281 search results - page 421 / 657
» Bases for parametrized iterativity
Sort
View
156
Voted
ISCAS
2002
IEEE
109views Hardware» more  ISCAS 2002»
15 years 11 months ago
State space blind source recovery for mixtures of multiple source distributions
The paper discusses State Space Blind Source Recovery (BSR) for minimum phase and non-minimum phase mixtures of gaussian and non-gaussian distributions. The State Space Natural Gr...
Khurram Waheed, Fathi M. Salam
185
Voted
ASPDAC
2009
ACM
144views Hardware» more  ASPDAC 2009»
15 years 11 months ago
Complete-k-distinguishability for retiming and resynthesis equivalence checking without restricting synthesis
Iterative retiming and resynthesis is a powerful way to optimize sequential circuits but its massive adoption has been hampered by the hardness of verification. This paper tackle...
Nikolaos D. Liveris, Hai Zhou, Prithviraj Banerjee
TEI
2009
ACM
115views Hardware» more  TEI 2009»
15 years 11 months ago
Stop-motion prototyping for tangible interfaces
Stop-motion animation brings the constraints of the body, space and materials into video production. Building on the tradition of video prototyping for interaction design, stop mo...
Leonardo Bonanni, Hiroshi Ishii
181
Voted
GI
2009
Springer
15 years 11 months ago
Reinventing Haskell Backtracking
: Almost ten years ago, Ralf Hinze has written a functional pearl on how to derive backtracking functionality for the purely functional programming language Haskell. In these notes...
Sebastian Fischer
ICANN
2001
Springer
15 years 11 months ago
Learning and Prediction of the Nonlinear Dynamics of Biological Neurons with Support Vector Machines
Based on biological data we examine the ability of Support Vector Machines (SVMs) with gaussian kernels to learn and predict the nonlinear dynamics of single biological neurons. We...
Thomas Frontzek, Thomas Navin Lal, Rolf Eckmiller