3690 search results - page 541 / 738 » Computation with classical sequents |
162
click to vote
DEXA
2009
Springer
16 years 23 min ago
2009
Springer
The alignment of noisy and uniformly scaled time series is an important but difficult task. Given two time series, one of which is a uniformly stretched subsequence of the other, w...
153
click to vote
ESA
2009
Springer
15 years 12 months ago
2009
Springer
We consider the problem of representing, in a space-efficient way, a function f : S → Σ such that any function value can be computed in constant time on a RAM. Specifically, ou...
161
click to vote
ICARIS
2009
Springer
15 years 12 months ago
2009
Springer
The sophistication of modern computer malware demands run-time malware detection strategies which are not only efficient but also robust to obfuscation and evasion attempts. In thi...
167
click to vote
ICMI
2009
Springer
15 years 12 months ago
2009
Springer
We have built a system that engages naive users in an audiovisual interaction with a computer in an unconstrained public space. We combine audio source localization techniques wit...
154
click to vote
ISNN
2009
Springer
15 years 12 months ago
2009
Springer
Quantum evolutionary algorithm (QEA) is proposed on the basis of the concept and principles of quantum computing, which is a classical metaheuristic algorithm for the approximate s...