Publications

Export 7151 results:
Author Title Type [ Year(Desc)]
Filters: Efficient-model-checking-buchi-tableau-automata%E2%8B%86 is   [Clear All Filters]
2001
Cukier M, Lyons J, Pandey P, Ramasamy HV, Sanders WH, Pal P, Webber F, Schantz R, Loyall J, Watro R.  2001.  Intrusion tolerance approaches in ITUA. 64
Shneiderman B.  2001.  Inventing Discovery Tools: Combining Information Visualization with Data Mining. Discovery Science. 2226:17-28.
Jacobs DW, Belhumeur P, Jermyn I.  2001.  Judging whether multiple silhouettes can come from the same object. Visual Form 2001. :532-541.
Taxén G, Druin A, Fast C, Kjellin M.  2001.  KidStory: A technology design partnership with children. Behaviour & Information Technology. 20(2):119-125.
Song Z, Roussopoulos N.  2001.  K-nearest neighbor search for moving query point. Advances in Spatial and Temporal Databases. :79-96.
Basri R, Jacobs DW.  2001.  Lambertian reflectance and linear subspaces. Computer Vision, 2001. ICCV 2001. Proceedings. Eighth IEEE International Conference on. 2:383-390vol.2-383-390vol.2.
Getoor L, Friedman N, Koller D, Taskar B.  2001.  Learning probabilistic models of relational structure. MACHINE LEARNING-INTERNATIONAL WORKSHOP. :170-177.
Radio MJ, Reggia JA, Berndt RS.  2001.  Learning word pronunciations using a recurrent neural network. Neural Networks, 2001. Proceedings. IJCNN'01. International Joint Conference on. 1:11-15.
Schmidt DC, Porter A.  2001.  Leveraging open-source communities to improve the quality & performance of open-source software. Proceedings of the 1st Workshop on Open Source Software Engineering.
Jacobs DW.  2001.  Linear Fitting with Missing Data for Structure-from-Motion. Computer Vision and Image Understanding. 82(1):57-81.
Meng H, Chen B, Khudanpur S, Levow G-A, Lo W-K, Oard D, Schone P, Tang K, Wang H-M, Wang J.  2001.  Mandarin-English Information (MEI): investigating translingual speech retrieval. Proceedings of the first international conference on Human language technology research. :1-7.
Green R, Pearl L, Dorr BJ, Resnik P.  2001.  Mapping lexical entries in a verbs database to WordNet senses. Proceedings of the 39th Annual Meeting on Association for Computational Linguistics. :244-251.
Green R, Pearl L, Dorr BJ.  2001.  Mapping WorldNet Senses to a Lexical Database of Verbs.
Stewart G.W.  2001.  Matrix Algorithms: Eigensystems.
Mount SM.  2001.  Messenger RNA Splicing Signals. eLS.
Oard D, Kim J.  2001.  Modeling information content using observable behavior. PROCEEDINGS OF THE ANNUAL MEETING-AMERICAN SOCIETY FOR INFORMATION SCIENCE. 38:481-488.
Gumerov NA, Duraiswami R.  2001.  Modeling the effect of a nearby boundary on the HRTF. 2001 IEEE International Conference on Acoustics, Speech, and Signal Processing, 2001. Proceedings. (ICASSP '01). 5:3337-3340vol.5-3337-3340vol.5.
Wu M, Liu B.  2001.  Modulation and multiplexing techniques for multimedia data hiding. Proc. of SPIE ITcom’01, SPIE vol. 4518
Hovemeyer D, Pugh W.  2001.  More efficient network class loading through bundling. Proceedings of the 2001 Symposium on Java TM Virtual Machine Research and Technology Symposium-Volume 1. :17-17.
Zotkin DN, Duraiswami R, Davis LS.  2001.  Multimodal 3-D tracking and event detection via the particle filter. IEEE Workshop on Detection and Recognition of Events in Video, 2001. Proceedings. :20-27.
Ghose K, Zotkin DN, Duraiswami R, Moss CF.  2001.  Multimodal localization of a flying bat. Acoustics, Speech, and Signal Processing, IEEE International Conference on. 5:3057-3060.
Zotkin DN, Duraiswami R, Nanda H, Davis LS.  2001.  Multimodal tracking for smart videoconferencing. Second International Conference on Multimedia and Expo, Tokyo, Japan.
Kianzad V, Bhattacharyya SS.  2001.  Multiprocessor clustering for embedded systems. Euro-Par 2001 Parallel Processing. :697-701.
Getoor L.  2001.  Multi-Relational Data Mining using Probabilistic Models Research Summary. Proc. Of 1st workshop in MRDM.
Getoor L.  2001.  Multi-relational data mining using probabilistic relational models: research summary. In Proceedings of the First Workshop in Multi-relational Data Mining.

Pages