Publications

Export 7151 results:
Author Title Type [ Year(Desc)]
Filters: Efficient-model-checking-buchi-tableau-automata%E2%8B%86 is   [Clear All Filters]
2002
Anderson ML, Josyula DP, Okamoto YA, Perlis D.  2002.  Time-situated agency: Active logic and intention formation. in: Workshop on Cognitive Agents, 25th German Conference on Artificial Intelligence.
Andersen DG, Feamster N, Bauer S, Balakrishnan H.  2002.  Topology inference from BGP routing dynamics. Proceedings of the 2nd ACM SIGCOMM Workshop on Internet measurment. :243-248.
Roy Chowdhury AK, Chellappa R.  2002.  Towards a criterion for evaluating the quality of 3D reconstructions. Acoustics, Speech, and Signal Processing (ICASSP), 2002 IEEE International Conference on. 4:IV-3321-IV-3324-IV-3321-IV-3324.
Oard D, Ertunc F.  2002.  Translation-based indexing for cross-language retrieval. Advances in Information Retrieval. :425-447.
Sengupta B, Cleaveland R.  2002.  Triggered message sequence charts. ACM SIGSOFT Software Engineering Notes. 27:167-167.
Bartholomeu DC, Silva RA, Galvão LMC, El-Sayed NM, Donelson JE, Teixeira SMR.  2002.  Trypanosoma cruzi: RNA structure and post-transcriptional control of tubulin gene expression. Experimental Parasitology. 102(3-4):123-133.
Vishkin U.  2002.  Two techniques for reconciling algorithm parallelism with memory constraints. Proceedings of the fourteenth annual ACM symposium on Parallel algorithms and architectures. :95-98.
Liu H, Rosenfeld A, Chellappa R.  2002.  Two-frame multi-scale optical flow estimation using wavelet decomposition. Acoustics, Speech, and Signal Processing (ICASSP), 2002 IEEE International Conference on. 4:IV-3588-IV-3591-IV-3588-IV-3591.
Shneiderman B.  2002.  Understanding human reactivites and relationships: an excerpt from Leonardo's laptop. interactions. 9(5):40-53.
Schlesinger JD, Okurowski ME, Conroy JM, O'Leary DP, Taylor A, Hobbs J, Wilson HT.  2002.  Understanding Machine Performance in the Context of Human Performance for Multi-document Summarization. DUC 02 Conference ProceedingsDUC 02 Conference Proceedings.
Diab M, Resnik P.  2002.  An unsupervised method for word sense tagging using parallel corpora. Proceedings of the 40th Annual Meeting on Association for Computational Linguistics. :255-262.
Kim J, Oard D.  2002.  The use of speech retrieval systems: a study design. Information retrieval techniques for speech applications. :86-93.
Anderson ML, Okamoto Y, Josyula D, Perlis D.  2002.  The use-mention distinction and its importance to HCI. Proceedings of the Sixth Workshop on the Semantics and Pragmatics of Dialog. :21-28.
Deshpande A, Hellerstein J.  2002.  On using correlation-based synopses during query optimization. Computer Science Division (EECS), University of California Berkeley.
Song Z, Roussopoulos N.  2002.  Using Hilbert curve in image storing and retrieving. Information Systems. 27(8):523-536.
Molina J, Arbaugh WA.  2002.  Using independent auditors as intrusion detection systems. Information and Communications Security. :291-302.
Bright L, Raschid L.  2002.  Using latency-recency profiles for data delivery on the web. Proceedings of the 28th international conference on Very Large Data Bases. :550-561.
Karunanidhi A, Doermann D, Parekh N, Rautio V.  2002.  Video analysis applications for pervasive environments. 1st International Conference on Mobile and Ubiquitous Multimedia. :48-55.
Der SZ, Zheng Q, Redman B, Chellappa R, Mahmoud H.  2002.  View-Based Recognition of Military Vehicles in Ladar Imagery Using CAD Model Matching. OPTICAL ENGINEERING-NEW YORK-MARCEL DEKKER INCORPORATED-. 78:151-188.
Zotkin DN, Duraiswami R, Davis LS, Mohan A, Raykar V.  2002.  Virtual audio system customization using visual matching of ear parameters. 16th International Conference on Pattern Recognition, 2002. Proceedings. 3:1003-1006vol.3-1003-1006vol.3.
Hoban S, desJardins M, Farrell N, Rathod P, Sachs J, Sansare S, Yesha Y, Keating J, Busschots B, Means J et al..  2002.  Virtual Telescopes in Education. Journal of Digital Information. 2(4)
Latecki LJ, Mount D, Wu AY.  2002.  Vision geometry XI(Seattle WA, 7-8 July 2002). SPIE proceedings series.
Hochheiser H, Shneiderman B.  2002.  Visual queries for finding patterns in time series data. University of Maryland, Computer Science Dept. Tech Report, CS-TR-4365.
Revelle G, Druin A, Platner M, Bederson BB, Hourcade JP, Sherman L.  2002.  A visual search tool for early elementary science students. Journal of Science Education and Technology. 11(1):49-57.
Fermüller C, Baker P, Aloimonos Y.  2002.  Visual space-time geometry - A tool for perception and the imagination. Proceedings of the IEEE. 90(7):1113-1135.

Pages