7311 search results - page 245 / 1463 » Time in State Machines |
190
click to vote
TC
2010
15 years 5 months ago
2010
—As the cost per bit of NAND flash memory devices rapidly decreases, NAND-flash-based Solid-State Disks (SSDs) are replacing Hard Disk Drives (HDDs) used in a wide spectrum of co...
222
click to vote
CVPR
2011
IEEE
15 years 3 months ago
2011
IEEE
We deal with an image jigsaw puzzle problem, which is defined as reconstructing an image from a set of square and non-overlapping image patches. It is known that a general instan...
227
click to vote
PSTV
1992
15 years 8 months ago
1992
We study the effect of three new reduction strategies for conventional reachability analysis, as used in automated protocol validation algorithms. The first two strategies are imp...
223
click to vote
FORMATS
2008
Springer
15 years 8 months ago
2008
Springer
Time dependant models have been intensively studied for many reasons, among others because of their applications in software verification and due to the development of embedded pla...
195
click to vote
ICML
2007
IEEE
16 years 8 months ago
2007
IEEE
High dimensionality of POMDP's belief state space is one major cause that makes the underlying optimal policy computation intractable. Belief compression refers to the method...