Publications

Export 7151 results:
Author Title Type [ Year(Desc)]
Filters: Efficient-model-checking-buchi-tableau-automata%E2%8B%86 is   [Clear All Filters]
2002
Parameswaran V, Chellappa R.  2002.  Quasi-invariants for human action representation and recognition. Pattern Recognition, 2002. Proceedings. 16th International Conference on. 1:307-310vol.1-307-310vol.1.
Silaghi B, Bhattacharjee B, Keleher P.  2002.  Query routing in the TerraDir distributed directory. Proceedings of the SPIE ITCOM. 4868:299-309.
Atalay FB, Mount D.  2002.  Ray interpolants for fast raytracing reflections and refractions. Journal of WSCG (Proc. International Conf. in Central Europe on Comp. Graph., Visualization and Comp. Vision). 10(3):1-8.
Li Z, Varshney A.  2002.  A real-time seamless tiled display system for 3D graphics. Immersive Projection Technology Symposium of the IEEE Virtual Reality 2002 Conference (VR2002 IPT).
Wu X, M. Wu.  2002.  A recognition algorithm for Chinese characters in diverse fonts. Image Processing. 2002. Proceedings. 2002 International Conference on. 3:981-984vol.3-981-984vol.3.
[Anonymous].  2002.  RECOMB '02: Proceedings of the sixth annual international conference on Computational biology.
Tikir MM, Hollingsworth J, Lueh G-Y.  2002.  Recompilation for debugging support in a JIT-compiler. Proceedings of the 2002 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering. :10-17.
Gilsinn DE, Cheok GS, O'Leary DP.  2002.  Reconstructing Images of Bar Codes for Construction Site Object Recognition. Proceedings of the 19th International Symposium on Automation and Robotics in Construction.
Grossman D, Morrisett G, Jim T, Hicks MW, Wang Y, Cheney J.  2002.  Region-based memory management in cyclone. SIGPLAN Not.. 37(5):282-293.
De Floriani L, Magillo P.  2002.  Regular and irregular multi-resolution terrain models: a comparison. Proceedings of the 10th ACM international symposium on Advances in geographic information systems. :143-148.
Tanin E, Brabec F, Samet H.  2002.  Remote access to large spatial databases. Proceedings of the 10th ACM international symposium on Advances in geographic information systems. :5-10.
Samet H, Brabec F.  2002.  Remote thin-client access to spatial database systems. Proceedings of the 2002 annual national conference on Digital government research. :1-8.
Lee CH, Varshney A.  2002.  Representing thermal vibrations and uncertainty in molecular surfaces. SPIE Conference on Visualization and Data Analysis. 4665:80-90.
Zhou S, Chellappa R.  2002.  A robust algorithm for probabilistic human recognition from video. Pattern Recognition, 2002. Proceedings. 16th International Conference on. 1:226-229vol.1-226-229vol.1.
Yin P, Wu M, Liu B.  2002.  A robust error resilient approach for MPEG video transmission over internet. Visual Communication and Image Processing, SPIE. 4671:103-111.
Banerjee S, Agarwal S, Kamel K, Kochut A, Kommareddy C, Nadeem T, Thakkar P, Trinh B, Youssef A, Youssef M et al..  2002.  Rover: scalable location-aware computing. Computer. 35(10):46-53.
Banerjee S, Bhattacharjee B, Kommareddy C.  2002.  Scalable application layer multicast. SIGCOMM Comput. Commun. Rev.. 32(4):205-217.
Banerjee S, Kommareddy C, Bhattacharjee B.  2002.  Scalable peer finding on the Internet. Global Telecommunications Conference, 2002. GLOBECOM '02. IEEE. 3:2205-2209vol.3-2205-2209vol.3.
Banerjee S, Bhattacharjee B.  2002.  Scalable secure group communication over IP multicast. Selected Areas in Communications, IEEE Journal on. 20(8):1511-1527.
Andrade H, Kurc T, Sussman A, Saltz J.  2002.  Scheduling multiple data visualization query workloads on a shared memory machine. Parallel and Distributed Processing Symposium., Proceedings International, IPDPS 2002, Abstracts and CD-ROM. :11-18.
Hicks MW, Keromytis AD, Smith JM.  2002.  A secure PLAN (extended version). DARPA Active NEtworks Conference and Exposition, 2002. Proceedings. :224-237.
Jiwnani K, Zelkowitz MV.  2002.  Security Testing using a Susceptibility Matrix. International Symposioum on Software Reliability Engineering. 13
Zheng Y, Li H, Doermann D.  2002.  Segmentation and Identification of Handwriting in Noisy Documents. IAPRConference on Document Analysis System. :95-105.
Weinberg A.  2002.  Semantics in the spin cycle Competence and performance criteria for the creation of lexical entries. The lexical basis of sentence processing: formal, computational, and experimental issues. 4:85-85.
Gupta SK, Rajagopal D.  2002.  Sheet metal bending: forming part families for generating shared press-brake setups. Journal of manufacturing systems. 21(5):329-349.

Pages