Sciweavers

9521 search results - page 281 / 1905
» Compiling with continuations, continued
Sort
View
ICCD
2007
IEEE
140views Hardware» more  ICCD 2007»
15 years 10 months ago
Continual hashing for efficient fine-grain state inconsistency detection
Transaction-level modeling (TLM) allows a designer to save functional verification effort during the modular refinement of an SoC by reusing the prior implementation of a module a...
Jae W. Lee, Myron King, Krste Asanovic
CVPR
2012
IEEE
13 years 9 months ago
Enhanced continuous sign language recognition using PCA and neural network features
In this work a Gaussian Hidden Markov Model (GHMM) based automatic sign language recognition system is built on the SIGNUM database. The system is trained on appearance-based feat...
Yannick L. Gweth, Christian Plahl, Hermann Ney
CCA
2005
Springer
16 years 5 days ago
A Lambda Calculus for Real Analysis
Abstract Stone Duality is a revolutionary theory that works directly with computable continuous functions, without using set theory, infinitary lattice theory or a prior theory o...
Paul Taylor 0002
JMLR
2006
79views more  JMLR 2006»
15 years 6 months ago
Universal Kernels
In this paper we investigate conditions on the features of a continuous kernel so that it may approximate an arbitrary continuous target function uniformly on any compact subset o...
Charles A. Micchelli, Yuesheng Xu, Haizhang Zhang