Sciweavers

4155 search results - page 417 / 831
» Topic-Specific Optimization and Structuring
Sort
View
SWAT
2004
Springer
120views Algorithms» more  SWAT 2004»
16 years 7 days ago
Railway Delay Management: Exploring Its Algorithmic Complexity
We consider delay management in railway systems. Given delayed trains, we want to find a waiting policy for the connecting trains minimizing the weighted total passenger delay. If...
Michael Gatto, Björn Glaus, Riko Jacob, Leon ...
ECBS
2003
IEEE
145views Hardware» more  ECBS 2003»
16 years 5 days ago
Model Checking and Evidence Exploration
We present an algebraic framework for evidence exploration: the process of interpreting, manipulating, and navigating the proof structure or evidence produced by a model checker w...
Yifei Dong, C. R. Ramakrishnan, Scott A. Smolka
ICDAR
2003
IEEE
16 years 5 days ago
Non-similar candidate removal method for off-line handwritten Korean character recognition
We describe an off-line handwritten Korean character recognition module for real-time address reading. Our module has a two-stage recognition structure. The first recognition aims...
Seon-Hwa Jeong, Yun Seok Nam, Hye-Kyu Kim
ISCAS
2003
IEEE
169views Hardware» more  ISCAS 2003»
16 years 5 days ago
Efficient implementation of complex exponentially-modulated filter banks
In Exponentially-ModulatedFilter Bank (EMFB) the complex subfilters are generated from a real-valued prototype filter by multiplying the filter impulse response with complex expon...
Juuso Alhava, Ari Viholainen, Markku Renfors
IPPS
2002
IEEE
15 years 11 months ago
Distribution Sweeping on Clustered Machines with Hierarchical Memories
This paper investigates the design of parallel algorithmic strategies that address the efficient use of both, memory hierarchies within each processor and a multilevel clustered ...
Frank K. H. A. Dehne, Stefano Mardegan, Andrea Pie...