1271 search results - page 19 / 255 » On Simulation-Checking with Sequential Systems |
ICDAR
2003
IEEE
14 years 28 days ago
2003
IEEE
Classifier subset selection (CSS) from a large ensemble is an effective way to design multiple classifier systems (MCSs). Given a validation dataset and a selection criterion, the...
CLIN
2003
13 years 9 months ago
2003
This paper presents an efficient algorithm for the incremental construction of a minimal acyclic sequential transducer (ST) from a list of input and output strings. The algorithm...
ICDE
2005
IEEE
14 years 1 months ago
2005
IEEE
iSCSI is one of the most promising technologies in IPSAN, which decreases a storage management cost. Congestion Window, one of TCP parameters, has a close relationship with system...
CORR
2011
Springer
13 years 2 months ago
2011
Springer
Forecasting sequences by expert ensembles generally assumes stationary or near-stationary processes; however, in complex systems and many real-world applications, we are frequentl...
ICCAD
2008
IEEE
14 years 4 months ago
2008
IEEE
This paper describes an efficient implementation of an effective sequential synthesis operation that uses induction to detect and merge sequentially-equivalent nodes. State-encodi...