1713 search results - page 118 / 343 » Analysis of Procedure Splitability |
DAC
2003
ACM
14 years 11 months ago
2003
ACM
Procedures for Boolean satis ability most commonly work with Conjunctive Normal Form. Powerful SAT techniques based on implications and con icts can be retained when the usual CNF...
ACSC
2006
IEEE
14 years 4 months ago
2006
IEEE
This paper presents a method of estimating the availability of fault-tolerant computer systems with several recovery procedures. A segregated failures model has been proposed rece...
ICMCS
2006
IEEE
14 years 4 months ago
2006
IEEE
In this paper, a new implementation method is proposed for Context-Adaptive Variable Length Coding (CAVLC) used in H.264 Baseline Profile. We analyze the correlation between bit p...
ACCV
2006
Springer
14 years 4 months ago
2006
Springer
This paper presents a robust player tracking method for sports video analysis. In order to track agile player stably and robustly, we employ multiple models method, with a mean shi...
IPPS
2003
IEEE
14 years 4 months ago
2003
IEEE
The standardisation procedure of the IEEE P1394.1 Draft Standard for High Performance Serial Bus Bridges is supported through the use of the state-of-the-art model checker Spin, w...