Publications
Export 7151 results:
Author Title Type [ Year] Filters: Efficient-model-checking-buchi-tableau-automata%E2%8B%86 is [Clear All Filters]
2002. Quasi-invariants for human action representation and recognition. Pattern Recognition, 2002. Proceedings. 16th International Conference on. 1:307-310vol.1-307-310vol.1.
2002. Query routing in the TerraDir distributed directory. Proceedings of the SPIE ITCOM. 4868:299-309.
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.
2002. A real-time seamless tiled display system for 3D graphics. Immersive Projection Technology Symposium of the IEEE Virtual Reality 2002 Conference (VR2002 IPT).
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.
2002. RECOMB '02: Proceedings of the sixth annual international conference on Computational biology.
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.
2002. Reconstructing Images of Bar Codes for Construction Site Object Recognition. Proceedings of the 19th International Symposium on Automation and Robotics in Construction.
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.
2002. Remote access to large spatial databases. Proceedings of the 10th ACM international symposium on Advances in geographic information systems. :5-10.
2002. Remote thin-client access to spatial database systems. Proceedings of the 2002 annual national conference on Digital government research. :1-8.
2002. Representing thermal vibrations and uncertainty in molecular surfaces. SPIE Conference on Visualization and Data Analysis. 4665:80-90.
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.
2002. A robust error resilient approach for MPEG video transmission over internet. Visual Communication and Image Processing, SPIE. 4671:103-111.
2002. Scalable peer finding on the Internet. Global Telecommunications Conference, 2002. GLOBECOM '02. IEEE. 3:2205-2209vol.3-2205-2209vol.3.
2002. Scalable secure group communication over IP multicast. Selected Areas in Communications, IEEE Journal on. 20(8):1511-1527.
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.
2002. A secure PLAN (extended version). DARPA Active NEtworks Conference and Exposition, 2002. Proceedings. :224-237.
2002. Security Testing using a Susceptibility Matrix. International Symposioum on Software Reliability Engineering. 13
2002. Segmentation and Identification of Handwriting in Noisy Documents. IAPRConference on Document Analysis System. :95-105.
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.
2002. Sheet metal bending: forming part families for generating shared press-brake setups. Journal of manufacturing systems. 21(5):329-349.