Publications

Export 7151 results:
Author Title Type [ Year(Desc)]
Filters: Efficient-model-checking-buchi-tableau-automata%E2%8B%86 is   [Clear All Filters]
2002
Gumerov NA, Duraiswami R.  2002.  Multiple scattering from N spheres. Antennas and Propagation Society International Symposium, 2002. IEEE. 2:90-93.
De Floriani L, Magillo P.  2002.  Multiresolution mesh representation: Models and data structures. Tutorials on Multiresolution in Geometric Modelling. :363-418.
Danovaro E, De Floriani L, Lee M, Samet H.  2002.  Multiresolution tetrahedral meshes: an analysis and a comparison. Shape Modeling International, 2002. Proceedings. :83-91.
Hornbaek K, Bederson BB, Plaisant C.  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.
Feamster N, Rexford J.  2002.  Network-wide BGP route prediction for traffic engineering. Proceedings of ITCOM.
Bringaud F, Biteau N, Melville SE, Hez S, El-Sayed NM, Leech V, Berriman M, Hall N, Donelson JE, Baltz T.  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.
Daumé H, Marcu D.  2002.  A noisy-channel model for document compression. Proceedings of the 40th Annual Meeting on Association for Computational Linguistics. :449-456.
Abd-Almageed W, Fadali MS, Bebis G.  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.
Zhao H, Wu M, Wang ZJ, Liu KJR.  2002.  Nonlinear collusion attacks on independent multimedia fingerprints. submitted to IEEE Trans. on Image Proc.
De Floriani L, Mesmoudi M, Morando F, Puppo E.  2002.  Non-manifold decomposition in arbitrary dimensions. Discrete Geometry for Computer Imagery. :59-115.
Gumerov NA, Duraiswami R, Tang Z.  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.
Kolak O, Resnik P.  2002.  OCR error correction using a noisy channel model. Proceedings of the second international conference on Human Language Technology Research. :257-262.
Samet H, Kochut A.  2002.  Octree approximation and compression methods. Proc. of the 1st Intl. Symp. on 3D Data Processing, Visualization, and Transmission.
Katz B, Felshin S, Yuret D, Ibrahim A, Jimmy Lin, Marton G, Jerome McFarland A, Temelkuran B.  2002.  Omnibase: Uniform access to heterogeneous data for question answering. Natural Language Processing and Information Systems. :230-234.
Briand LC, Morasca S, Basili VR.  2002.  An operational process for goal-driven definition of measures. Software Engineering, IEEE Transactions on. 28(12):1106-1125.
Moon H, Chellappa R, Rosenfeld A.  2002.  Optimal edge-based shape detection. Image Processing, IEEE Transactions on. 11(11):1209-1227.
Beynon MD, Kurc T, Sussman A, Saltz J.  2002.  Optimizing execution of component-based applications using group instances. Future Generation Computer Systems. 18(4):435-448.
Bederson BB, Shneiderman B, Wattenberg M.  2002.  Ordered and quantum treemaps: Making effective use of 2D space to display hierarchies. ACM Transactions on Graphics (TOG). 21(4):833-854.
Suh B, Bederson BB.  2002.  OZONE: A zoomable interface for navigating ontology information. Proceedings of the Working Conference on Advanced Visual Interfaces. :139-143.
Sherwood R, Bhattacharjee B, Srinivasan A.  2002.  P5 : a protocol for scalable anonymous communication. 2002 IEEE Symposium on Security and Privacy, 2002. Proceedings. :58-70.
Feamster N, Balakrishnan H.  2002.  Packet loss recovery for streaming video. 12th International Packet Video Workshop.
Liang J, Doermann D, Ma M, Guo JK.  2002.  Page classification through logical labelling. Pattern Recognition, 2002. Proceedings. 16th International Conference on. 3:477-480vol.3-477-480vol.3.
Elman H, Howle VE, Shadid J, Tuminaro R.  2002.  A Parallel Block Multi-level Preconditioner for the 3D Incompressible Navier--Stokes Equations. UMIACS-TR-2002-95
Mount D, Stein C.  2002.  Partitioning planar graphs with costs and weights. 4th International Workshop on Algorithm Engineering and Experiments. 2409:98-110.
Myers KL, Tyson WM, Wolverton MJ, Jarvis PA, Lee TJ, desJardins M.  2002.  PASSAT: A user-centric planning framework. Proceedings of the 3rd International NASA Workshop on Planning and Scheduling for Space.

Pages