Publications
Export 7151 results:
Author Title Type [ Year] Filters: Efficient-model-checking-buchi-tableau-automata%E2%8B%86 is [Clear All Filters]
2003. Airborne Video Registration for Activity Monitoring. Video RegistrationVideo Registration. 5:130-143.
2003. Algorithms for computing global accessibility cones. Journal of Computing and Information Science in Engineering. 3:200-200.
2003. Algorithms for selecting cutters in multi-part milling problems. Computer-Aided Design. 35(9):825-839.
2003. Analysis of particular phononic structures using single integral equations. The Journal of the Acoustical Society of America. 113(4):2284-2284.
2003. An Analysis of Smoothing Effects of Upwinding Strategies for the Convection-Diffusion Equation. SIAM Journal on Numerical Analysis. 40(1):254-281.
2003. An Analysis of the Layer 2 Handoff costs in Wireless Local Area Networks. ACM Computer Communications Review. 33(2)
2003. ANNUAL REVIEW & FORECAST REPORTS-THE OCEANS: TO PROTECT AND TO PLOW. Sea Technology. 44(1):33-34.
2003. Anti-collusion fingerprinting for multimedia. Signal Processing, IEEE Transactions on. 51(4):1069-1087.
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.
2003. AParallel Line Detection Algorithm Based on HMMDecoding. LAMP-TR-109,CAR-TR-994,CS-TR-4545,UMIACS-TR-2003-1113
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.
2003. On the approximability of clique and related maximization problems. Journal of Computer and System Sciences. 67(3):633-651.
2003. Approximation Algorithms for Channel Allocation Problems in Broadcast Networks. Approximation, Randomization, and Combinatorial Optimization: Algorithms and Techniques. 2764:821-826.