Sciweavers

9521 search results - page 281 / 1905
» Compiling with continuations, continued
Sort
View
158
Voted
SWARM
2012
SPRINGER
254views Optimization» more  SWARM 2012»
13 years 11 months ago
Continuous optimization algorithms for tuning real and integer parameters of swarm intelligence algorithms
Zhi Yuan, Marco Antonio Montes de Oca, Mauro Birat...
114
Voted
ICCD
2007
IEEE
140views Hardware» more  ICCD 2007»
15 years 7 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
158
Voted
CVPR
2012
IEEE
13 years 6 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
158
Voted
CCA
2005
Springer
15 years 9 months 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
95
Voted
JMLR
2006
79views more  JMLR 2006»
15 years 3 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