Publications

Export 7151 results:
Author Title Type [ Year(Asc)]
Filters: Efficient-model-checking-buchi-tableau-automata%E2%8B%86 is   [Clear All Filters]
2007
Chakrabarti A, Rajagopalan AN, Chellappa R.  2007.  Super-Resolution of Face Images Using Kernel PCA-Based Prior. Multimedia, IEEE Transactions on. 9(4):888-892.
Hutchinson HB, Druin A, Bederson BB.  2007.  Supporting elementary-age children's searching and browsing: Design and evaluation using the international children's digital library. Journal of the American Society for Information Science and Technology. 58(11):1618-1630.
Osadchy M, Jacobs DW, Lindenbaum M.  2007.  Surface Dependent Representations for Illumination Insensitive Image Comparison. Pattern Analysis and Machine Intelligence, IEEE Transactions on. 29(1):98-111.
Mesmoudi MM, Danovaro E, De Floriani L, Port U.  2007.  Surface Segmentation through Concentrated Curvature. Image Analysis and Processing, 2007. ICIAP 2007. 14th International Conference on. :671-676.
RodrIGuez A, Grushin A, Reggia JA, HAUPTMAN AMI, SIPPER M, PAN Z, Reggia JA, GAO D, DARABOS C, GIACOBINI M et al..  2007.  Swarm Intelligence Systems Using Guided Self-Organization for Collective Problem Solving. Advances in Complex Systems. 10(1):5-34.
Aggarwal G, Biswas S, Chellappa R.  2007.  Symmetric Objects are Hardly Ambiguous. Computer Vision and Pattern Recognition, 2007. CVPR '07. IEEE Conference on. :1-7.
Jimmy Lin, Wilbur WJ.  2007.  Syntactic sentence compression in the biomedical domain: facilitating access to related articles. Information Retrieval. 10(4):393-414.
Frangiadakis N, Kuklov D, Roussopoulos N.  2007.  System for 802.11 connectivity at high speed. UMIACS-TR-2007-27
Wu J S-C, Sussman A.  2007.  Taking Advantage of Collective Operation Semantics for Loosely Coupled Simulations. Parallel and Distributed Processing Symposium, International. :128-128.
Cevher V, Sankaranarayanan AC, McClellan JH, Chellappa R.  2007.  Target Tracking Using a Joint Acoustic Video System. Multimedia, IEEE Transactions on. 9(4):715-727.
Lim SN, Davis LS, Mittal A.  2007.  Task scheduling in large camera networks. Computer Vision–ACCV 2007. :397-407.
Hobson S P, Dorr BJ, Monz C, Schwartz R.  2007.  Task-based evaluation of text summarization using Relevance Prediction. Information Processing & Management. 43(6):1482-1499.
Zhang P, Plettenberg L, Klavans JL, Oard D, Soergel D.  2007.  Task-based interaction with an integrated multilingual, multimedia information system: a formative evaluation. Proceedings of the 7th ACM/IEEE-CS joint conference on Digital libraries. :117-126.
Plishker W, Dandekar O, Bhattacharyya SS, Shekhar R.  2007.  A taxonomy for medical image registration acceleration techniques. Life Science Systems and Applications Workshop, 2007. LISA 2007. IEEE/NIH. :160-163.
Haran M, Karr A, Last M, Orso A, Porter A, Sanil A, Fouch? S.  2007.  Techniques for Classifying Executions of Deployed Software to Support Software Engineering Tasks. IEEE Transactions on Software Engineering. 33(5):287-304.
Bryce RC, Memon AM.  2007.  Test suite prioritization by interaction coverage. Workshop on Domain specific approaches to software test automation: in conjunction with the 6th ESEC/FSE joint meeting. :1-7.
Guha ML, Druin A, Montemayor J, Chipman G, Farber A.  2007.  A theoretical model of children's storytelling using physically-oriented technologies (SPOT). Journal of Educational Multimedia and Hypermedia. 16(4):389-389.
Vishkin U.  2007.  Thinking in parallel: Some basic data-parallel algorithms and techniques. UMIACS, University of Maryland, College Park. 1993
Karlson AK, Bederson BB.  2007.  Thumbspace: Generalized one-handed input for touchscreen-based mobile devices. Proceedings of the 11th IFIP TC 13 international conference on Human-computer interaction. :324-338.
Papamanthou C, Tamassia R.  2007.  Time and Space Efficient Algorithms for Two-Party Authenticated Data Structures. Information and Communications Security. :1-15.
Khuller S, Malekian A, Mestre J.  2007.  To fill or not to fill: the gas station problem. Algorithms–ESA 2007. :534-545.
Boyd-Graber J, Blei D, Zhu X.  2007.  A topic model for word sense disambiguation. Proceedings of the 2007 Joint Conference on Empirical Methods in Natural Language Processing and Computational Natural Language Learning (EMNLP-CoNLL). :1024-1033.
Hui A, De Floriani L.  2007.  Topological Decompositions for 3D Non-manifold Simplicial Shapes. CS-TR-4855
Anderson ML, Schmill M, Oates T, Perlis D, Josyula D, Wright D, Wilson S.  2007.  Toward domain-neutral human-level metacognition. AAAI Spring Symposium on Logical Formalizations of Commonsense Reasoning.
Hicks MW, Swamy N, Tsang S.  2007.  Toward Specifying and Validating Cross-Domain Policies. Technical Reports from UMIACS.

Pages