3909 search results - page 592 / 782 » Extreme Model Checking |
157
click to vote
SAC
2005
ACM
16 years 1 days ago
2005
ACM
This paper presents an efficient technique for placement and routing of sensors/actuators and processing units in a grid network. Our system requires an extremely high level of ro...
152
click to vote
SC
2005
ACM
16 years 1 days ago
2005
ACM
The proliferation of biological sequence data has motivated the need for an extremely fast probabilistic sequence search. One method for performing this search involves evaluating...
136
click to vote
AIED
2005
Springer
16 years 18 hour ago
2005
Springer
Measuring the efficacy of ITS can be hard because there are many confounding factors: short, well-isolated studies suffer from insufficient interaction with the system, while longe...
172
click to vote
ISMIR
2005
Springer
15 years 12 months ago
2005
Springer
When considering the problem of audio-to-audio matching, determining musical similarity using low-level features such as Fourier transforms and MFCCs is an extremely difficult ta...
158
click to vote
KES
2005
Springer
15 years 12 months ago
2005
Springer
The new market forces have affected the operation of distribution centers (DCs) extremely. The DCs demand an increased productivity and a low cost in their daily operation. This pa...