Sciweavers

4047 search results - page 20 / 810
» Some Properties and Some Problems on Set Functors
Sort
View
TACAS
2005
Springer
108views Algorithms» more  TACAS 2005»
15 years 3 months ago
On Some Transformation Invariants Under Retiming and Resynthesis
Transformations using retiming and resynthesis operations are the most important and practical (if not the only) techniques used in optimizing synchronous hardware systems. Althoug...
Jie-Hong Roland Jiang
EVOW
2009
Springer
14 years 7 months ago
The Dynamic Knapsack Problem Revisited: A New Benchmark Problem for Dynamic Combinatorial Optimisation
Abstract. In this paper we propose a new benchmark problem for dynamic combinatorial optimisation. Unlike most previous benchmarks, we focus primarily on the underlying dynamics of...
Philipp Rohlfshagen, Xin Yao
ELPUB
2003
ACM
15 years 2 months ago
Access to the Electronic Publishing in African Countries: Some Reflections
This text presents a set of reflections about the use of electronic publishing in African countries, as a means of access to scientific information. It includes brief remarks abou...
Maria Alexandra, Miranda Aparício
75
Voted
DSP
2007
14 years 9 months ago
Short-time phase spectrum in speech processing: A review and some experimental results
Incorporating information from the short-time phase spectrum into a feature set for automatic speech recognition (ASR) may possibly serve to improve recognition accuracy. Currentl...
Leigh D. Alsteris, Kuldip K. Paliwal
AML
2011
204views Mathematics» more  AML 2011»
14 years 4 months ago
A note on propositional proof complexity of some Ramsey-type statements
Any valid Ramsey statement n −→ (k)2 2 can be encoded into a DNF formula RAM(n, k) of size O(nk) and with terms of size k 2 . Let rk be the minimal n for which the statement h...
Jan Krajícek