4272 search results - page 487 / 855 » A Case for Automatic System Evaluation |
195
click to vote
CHI
2009
ACM
16 years 1 months ago
2009
ACM
One of the major challenges of video game design is to have appropriate difficulty levels for users in order to maximize the entertainment value of the game. Game players may lose...
176
click to vote
PIMRC
2008
IEEE
16 years 1 months ago
2008
IEEE
—In this paper we present an analytical approach to evaluate the M-QAM bit error rate and carrier frequency dependent throughput of OFDM systems subject to various receiver impai...
274
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
Desktop grids have traditionally focused on executing computation intensive workloads. Can they also be used to execute data-intensive workloads? To answer this question, we prese...
165
click to vote
ICMCS
2006
IEEE
16 years 27 days ago
2006
IEEE
This paper explores the challenges opportunities in developing and deploying 3D TV services. The 3D TV services can be seen as a general case of the multi-view video that has been...
193
click to vote
CHARME
2001
Springer
15 years 10 months ago
2001
Springer
Model checking is the process of verifying whether a model of a concurrent system satisfies a specified temporal property. Symbolic algorithms based on Binary Decision Diagrams (BD...