Publications

Export 7151 results:
Author Title Type [ Year(Desc)]
Filters: Efficient-model-checking-buchi-tableau-automata%E2%8B%86 is   [Clear All Filters]
2003
Memon AM.  2003.  Advances in GUI Testing. Advances in ComputersAdvances in Computers. Volume 58:149-201.
Memon AM.  2003.  Advances in GUI Testing-10 Summary. Advances in Computers. 58:195-196.
Memon AM.  2003.  Advances in GUI Testing-2 GUI Testing Steps. Advances in Computers. 58:155-156.
Memon AM.  2003.  Advances in GUI Testing-3 Record/Playback Tools. Advances in Computers. 58:157-158.
Memon AM.  2003.  Advances in GUI Testing-4 Challenges. Advances in Computers. 58:159-161.
Memon AM.  2003.  Advances in GUI Testing-5 State Machine Models. Advances in Computers. 58:162-167.
Memon AM.  2003.  Advances in GUI Testing-6 Behavioral Models. Advances in Computers. 58:168-169.
Memon AM.  2003.  Advances in GUI Testing-7 Statistical Methods. Advances in Computers. 58:170-171.
Memon AM.  2003.  Advances in GUI Testing-8 Hierarchical Techniques. Advances in Computers. 58:172-193.
Memon AM.  2003.  Advances in GUI Testing-9 Discussion. Advances in Computers. 58:194-194.
Shekhar C, Chellappa R.  2003.  Airborne Video Registration for Activity Monitoring. Video RegistrationVideo Registration. 5:130-143.
Dhaliwal S, Gupta SK, Huang J, Priyadarshini A.  2003.  Algorithms for computing global accessibility cones. Journal of Computing and Information Science in Engineering. 3:200-200.
Yao Z, Gupta SK, Nau DS.  2003.  Algorithms for selecting cutters in multi-part milling problems. Computer-Aided Design. 35(9):825-839.
Zheng Y, Li H, Doermann D.  2003.  AModel-based Line Detection Algorithm in Documents. ICDAR. :44-48.
Seydou F, Duraiswami R, Gumerov NA.  2003.  Analysis of particular phononic structures using single integral equations. The Journal of the Acoustical Society of America. 113(4):2284-2284.
Elman H, Ramage A.  2003.  An Analysis of Smoothing Effects of Upwinding Strategies for the Convection-Diffusion Equation. SIAM Journal on Numerical Analysis. 40(1):254-281.
Mishra A, Shin MH, Arbaugh WA.  2003.  An Analysis of the Layer 2 Handoff costs in Wireless Local Area Networks. ACM Computer Communications Review. 33(2)
Colwell RR.  2003.  ANNUAL REVIEW & FORECAST REPORTS-THE OCEANS: TO PROTECT AND TO PLOW. Sea Technology. 44(1):33-34.
Trappe W, M. Wu, Wang ZJ, Liu KJR.  2003.  Anti-collusion fingerprinting for multimedia. Signal Processing, IEEE Transactions on. 51(4):1069-1087.
Wang ZJ, M. Wu, Trappe W, Liu KJR.  2003.  Anti-collusion of group-oriented fingerprinting. Multimedia and Expo, 2003. ICME '03. Proceedings. 2003 International Conference on. 2:II-217-20vol.2-II-217-20vol.2.
Zheng Y, Li H, Doermann D.  2003.  AParallel Line Detection Algorithm Based on HMMDecoding. LAMP-TR-109,CAR-TR-994,CS-TR-4545,UMIACS-TR-2003-1113
Capellades MB, Doermann D, DeMenthon D, Chellappa R.  2003.  An appearance based approach for human and object tracking. Image Processing, 2003. ICIP 2003. Proceedings. 2003 International Conference on. 2:II-85-8vol.3-II-85-8vol.3.
Srinivasan A.  2003.  On the approximability of clique and related maximization problems. Journal of Computer and System Sciences. 67(3):633-651.
Feige U, Halldórsson MM, Kortsarz G, Srinivasan A.  2003.  Approximating the domatic number. SIAM Journal on Computing. 32(1):172-195.
Gandhi R, Khuller S, Srinivasan A, Wang N.  2003.  Approximation Algorithms for Channel Allocation Problems in Broadcast Networks. Approximation, Randomization, and Combinatorial Optimization: Algorithms and Techniques. 2764:821-826.

Pages