Publications
Export 7151 results:
Author Title Type [ Year] Filters: Efficient-model-checking-buchi-tableau-automata%E2%8B%86 is [Clear All Filters]
2002. Multiple scattering from N spheres. Antennas and Propagation Society International Symposium, 2002. IEEE. 2:90-93.
2002. Multiresolution mesh representation: Models and data structures. Tutorials on Multiresolution in Geometric Modelling. :363-418.
2002. Multiresolution tetrahedral meshes: an analysis and a comparison. Shape Modeling International, 2002. Proceedings. :83-91.
2002. Navigation patterns and usability of zoomable user interfaces with and without an overview. ACM Transactions on Computer-Human Interaction (TOCHI). 9(4):362-389.
2002. A new, expressed multigene family containing a hot spot for insertion of retroelements is associated with polymorphic subtelomeric regions of Trypanosoma brucei. Eukaryotic cell. 1(1):137-137.
2002. A noisy-channel model for document compression. Proceedings of the 40th Annual Meeting on Association for Computational Linguistics. :449-456.
2002. A non-intrusive Kalman filter-based tracker for pursuit eye movement. American Control Conference, 2002. Proceedings of the 2002. 2:1443-1447vol.2-1443-1447vol.2.
2002. Nonlinear collusion attacks on independent multimedia fingerprints. submitted to IEEE Trans. on Image Proc.
2002. Non-manifold decomposition in arbitrary dimensions. Discrete Geometry for Computer Imagery. :59-115.
2002. Numerical study of the influence of the torso on the HRTF. Acoustics, Speech, and Signal Processing, 1993. ICASSP-93., 1993 IEEE International Conference on. 2:II–II-II–II.
2002. OCR error correction using a noisy channel model. Proceedings of the second international conference on Human Language Technology Research. :257-262.
2002. Octree approximation and compression methods. Proc. of the 1st Intl. Symp. on 3D Data Processing, Visualization, and Transmission.
2002. Omnibase: Uniform access to heterogeneous data for question answering. Natural Language Processing and Information Systems. :230-234.
2002. An operational process for goal-driven definition of measures. Software Engineering, IEEE Transactions on. 28(12):1106-1125.
2002. Optimizing execution of component-based applications using group instances. Future Generation Computer Systems. 18(4):435-448.
2002. Ordered and quantum treemaps: Making effective use of 2D space to display hierarchies. ACM Transactions on Graphics (TOG). 21(4):833-854.
2002. OZONE: A zoomable interface for navigating ontology information. Proceedings of the Working Conference on Advanced Visual Interfaces. :139-143.
2002. P5 : a protocol for scalable anonymous communication. 2002 IEEE Symposium on Security and Privacy, 2002. Proceedings. :58-70.
2002. Page classification through logical labelling. Pattern Recognition, 2002. Proceedings. 16th International Conference on. 3:477-480vol.3-477-480vol.3.
2002. A Parallel Block Multi-level Preconditioner for the 3D Incompressible Navier--Stokes Equations. UMIACS-TR-2002-95
2002. Partitioning planar graphs with costs and weights. 4th International Workshop on Algorithm Engineering and Experiments. 2409:98-110.
2002. PASSAT: A user-centric planning framework. Proceedings of the 3rd International NASA Workshop on Planning and Scheduling for Space.