642 search results - page 79 / 129 » corr 2006 |
94
Voted
CORR
2006
Springer
15 years 18 days ago
2006
Springer
We study the problem of preemptive scheduling n jobs with given release times on m identical parallel machines. The objective is to minimize the average flow time. We show that wh...
CORR
2006
Springer
15 years 18 days ago
2006
Springer
The continuous increasing in performance requirements, for both scientic computation and industry, motivates the need of a powerful computing infrastructure. The Grid appeared as ...
CORR
2006
Springer
15 years 18 days ago
2006
Springer
This letter derives the asymptotic symbol error rate (SER) and outage probability of multiple-input multiple-output (MIMO) maximum ratio-combining (MRC) systems. We consider Raylei...
84
Voted
CORR
2006
Springer
15 years 18 days ago
2006
Springer
Abstract. We consider the problem of bounded model checking (BMC) for linear temporal logic (LTL). We present several efficient encodings that have size linear in the bound. Furthe...
CORR
2006
Springer
15 years 18 days ago
2006
Springer
We are presenting a method to recognise geographical references in free text. Our tool must work on various languages with a minimum of language-dependent resources, except a gaze...