1424 search results - page 152 / 285 » Improving on Version Stamps |
149
click to vote
ENTCS
2000
15 years 6 months ago
2000
It is an open problem whether weak bisimilarity is decidable for Basic Process Algebra (BPA) and Basic Parallel Processes (BPP). A PSPACE lower bound for BPA and NP lower bound fo...
170
click to vote
JCO
2000
15 years 6 months ago
2000
We consider the problem of off-line throughput maximization for job scheduling on one or more machines, where each job has a release time, a deadline and a profit. Most of the ver...
252
click to vote
LISP
2002
15 years 6 months ago
2002
Abstract. Local CPS conversion is a compiler transformation for improving the code generated for nested loops by a direct-style compiler that uses recursive functions to represent ...
163
click to vote
ICASSP
2010
IEEE
15 years 5 months ago
2010
IEEE
Prosodic information has been successfully used for speaker recognition for more than a decade. The best-performing prosodic system to date has been one based on features extracte...
178
click to vote
INFOCOM
2010
IEEE
15 years 5 months ago
2010
IEEE
—Cooperative relay is a communication paradigm that aims to realize the capacity of multi-antenna arrays in a distributed manner. However, the symbol-level synchronization requir...