1271 search results - page 189 / 255 » On Simulation-Checking with Sequential Systems |
AVSS
2009
IEEE
14 years 4 months ago
2009
IEEE
—In this work we propose a dynamic scene model to provide information about the presence of salient motion in the scene, and that could be used for focusing the attention of a pa...
SAC
2009
ACM
14 years 4 months ago
2009
ACM
Regime switching models, in which the state of the world is locally stationary, are a useful abstraction for many continuous valued data streams. In this paper we develop an onlin...
SC
2009
ACM
14 years 4 months ago
2009
ACM
Bioinformatics researchers need efficient means to process large collections of sequence data. One application of interest, genome assembly, has great potential for parallelizati...
CCS
2009
ACM
14 years 4 months ago
2009
ACM
Many programs operate reactively, patiently waiting for user input, subsequently running for a while producing output, and eventually returning to a state where they are ready to ...
CLUSTER
2009
IEEE
14 years 4 months ago
2009
IEEE
—Multicluster grids provide one promising solution to satisfying growing computation demands of compute-intensive applications by collaborating various networked clusters. Howeve...