14078 search results - page 2381 / 2816 » Design and Analysis of Computer Algorithms |
147
click to vote
ENTCS
2007
15 years 5 months ago
2007
Automated deduction methods should be speciļ¬ed not procedurally, but declaratively, as inference systems which are proved correct regardless of implementation details. Then, diļ...
130
click to vote
EOR
2007
15 years 5 months ago
2007
In this study we focus on the integration of inventory control and vehicle routing schedules for a distribution system in which the warehouse is responsible for the replenishment ...
133
click to vote
COR
2004
15 years 4 months ago
2004
The multicasting is defined as the distribution of the same information stream from one to many nodes concurrently. There has been an intensive research effort to design protocols...
163
click to vote
EC
2000
15 years 4 months ago
2000
To successfully apply evolutionary algorithms to the solution of increasingly complex problems, we must develop effective techniques for evolving solutions in the form of interact...
152
click to vote
TASLP
2002
15 years 4 months ago
2002
When automatic speech recognition (ASR) and speaker verification (SV) are applied in adverse acoustic environments, endpoint detection and energy normalization can be crucial to th...