2961 search results - page 304 / 593 » Optimization of tele-immersion codes |
121
Voted
IJIT
2004
15 years 5 months ago
2004
A recent neuro-spiking coding scheme for feature extraction from biosonar echoes of various plants is examined with a variety of stochastic classifiers. Feature vectors derived are...
130
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
The goal of this lecture is to show how modern theorem provers--in this case, the Coq proof assistant--can be used to mechanize the specification of programming languages and their...
99
Voted
CORR
2008
Springer
15 years 3 months ago
2008
Springer
This paper presents new lower and upper bounds for the optimal compression of binary prefix codes in terms of the most probable input symbol, where compression efficiency is determ...
116
Voted
CORR
2000
Springer
15 years 3 months ago
2000
Springer
Adaptive simulated annealing (ASA) is a global optimization algorithm based on an associated proof that the parameter space can be sampled much more efficiently than by using othe...
131
Voted
SIGSOFT
2010
ACM
15 years 1 months ago
2010
ACM
Concurrent programs are notoriously difficult to debug. We see two main reasons for this: 1) concurrency bugs are often difficult to reproduce, 2) traces of buggy concurrent execu...