1271 search results - page 25 / 255 » On Simulation-Checking with Sequential Systems |
TIT
2008
13 years 7 months ago
2008
We consider the design of systems for sequential decentralized detection, a problem that entails several interdependent choices: the choice of a stopping rule (specifying the samp...
CICLING
2010
Springer
14 years 2 months ago
2010
Springer
Identifying discourse relations in a text is essential for various tasks in Natural Language Processing, such as automatic text summarization, question-answering, and dialogue gene...
ICCD
2005
IEEE
14 years 4 months ago
2005
IEEE
This paper presents a methodology to transfer self-timed circuit specifications into sequential quantum Boolean circuits (SQBCs) and composable SQBCs (CQBCs). State graphs (SGs) a...
ATAL
2006
Springer
13 years 11 months ago
2006
Springer
This paper describes simulations designed to test the relative efficiency of two different sequential auction mechanisms for allocating compute resources between users in a shared...
ICDCS
2009
IEEE
14 years 4 months ago
2009
IEEE
Retrieving sequential rich media content from modern commodity disks is a challenging task. As disk capacity increases, there is a need to increase the number of streams that are ...