Sciweavers

5981 search results - page 272 / 1197
» time 2006
Sort
View
ESANN
2006
15 years 8 months ago
Linking non-binned spike train kernels to several existing spike train metrics
This work presents two kernels which can be applied to sets of spike times. This allows the use of state-of-the-art classification techniques to spike trains. The presented kernels...
Benjamin Schrauwen, Jan M. Van Campenhout
JUCS
2010
81views more  JUCS 2010»
15 years 5 months ago
The Tourist in the Shopping Arcade
: A tourist is searching for a gift and moves along a shopping arcade until the desired object gets into sight. The location of the corresponding shop is not known in advance. Ther...
Rudolf Fleischer, Tom Kamphans, Rolf Klein, Elmar ...
LOGCOM
2006
90views more  LOGCOM 2006»
15 years 6 months ago
ATL Satisfiability is Indeed EXPTIME-complete
The Alternating-time Temporal Logic (ATL) of Alur, Henzinger, and Kupferman is being increasingly widely applied in the specification and verification of open distributed systems ...
Dirk Walther, Carsten Lutz, Frank Wolter, Michael ...
IPPS
2006
IEEE
16 years 18 days ago
Accelerating shape optimizing load balancing for parallel FEM simulations by algebraic multigrid
We propose a load balancing heuristic for parallel adaptive finite element method (FEM) simulations. In contrast to most existing approaches, the heuristic focuses on good partit...
Henning Meyerhenke, Burkhard Monien, Stefan Schamb...
IPL
2006
97views more  IPL 2006»
15 years 6 months ago
A tight lower bound for job scheduling with cancellation
The Job Scheduling with Cancellation problem is a variation of classical scheduling problems in which jobs can be cancelled while waiting for execution. In this paper we prove a t...
Feifeng Zheng, Francis Y. L. Chin, Stanley P. Y. F...