Publications

Export 7151 results:
Author Title [ Type(Asc)] Year
Filters: Efficient-model-checking-buchi-tableau-automata%E2%8B%86 is   [Clear All Filters]
Journal Articles
Zelkowitz MV, Larsen HJ.  1978.  Implementation of a Capability-Based Data Abstraction. Software Engineering, IEEE Transactions on. SE-4(1):56-64.
Zelkowitz MV, Wallace DR, Binkley DW.  2002.  Impediments to software engineering technology transfer. Journal of Systems and Software. Forthcoming.
Dix J, Muñoz-Avila H, Nau DS, Zhang L.  2003.  IMPACTing SHOP: Putting an AI Planner Into a Multi-Agent Environment. Annals of Mathematics and Artificial Intelligence. 37(4):381-407.
Pfeiffer S, Fushman D, Cowburn D.  1999.  Impact of Cl− and Na+ ions on simulated structure and dynamics of βARK1 PH domain. Proteins: Structure, Function, and Bioinformatics. 35(2):206-217.
Kules B, Kang H, Plaisant C, Rose A, Shneiderman B.  2003.  Immediate Usability: Kiosk design principles from the CHI 2001 Photo Library. Technical Reports from UMIACS.
Kules B, Kang H, Plaisant C, Rose A, Shneiderman B.  2004.  Immediate usability: a case study of public access design for a community photo library. Interacting with Computers. 16(6):1171-1193.
Vishkin U.  2008.  An Immediate Concurrent Execution (ICE) Abstraction Proposal for Many-Cores. Computer Science Research Works.
O'donovan A, Duraiswami R, Gumerov NA, Zotkin DN.  2009.  Imaging room acoustics with the audio camera.. The Journal of the Acoustical Society of America. 125(4):2544-2544.
Plaisant C, Carr D, Shneiderman B.  1995.  Image-browser taxonomy and guidelines for designers. IEEE Software. 12(2):21-32.
Zhao H, Shneiderman B.  2005.  Image-Based Highly Interactive Web Mapping for Geo-Referenced Data Publishing (2002). Institute for Systems Research Technical Reports.
Zhao H, Shneiderman B.  2003.  Image-based highly interactive Web mapping for geo-referenced data publishing. Technical Reports from UMIACS.
Zhou S K, Chellappa R.  2005.  Image-based face recognition under illumination and pose variations. Journal of the Optical Society of America AJ. Opt. Soc. Am. A. 22(2):217-229.
Domke J, Aloimonos Y.  2009.  Image Transformations and Blurring. IEEE Transactions on Pattern Analysis and Machine Intelligence. 31(5):811-823.
Narayanan KA, O'Leary DP, Rosenfeld A.  1982.  Image Smoothing and Segmentation by Cost Minimization. IEEE Transactions on Systems, Man, and Cybernetics. SMC-12:91-96.
Tahmoush D, Samet H.  2006.  Image Similarity and Asymmetry to Improve Computer-Aided Detection of Breast Cancer. Digital Mammography. :221-228.
Nagy JG, O'Leary DP.  2002.  Image Restoration through Subimages and Confidence Images. Electronic Transactions on Numerical Analysis. 13:22-37.
Bandopadhay A, Aloimonos Y.  1990.  Image motion estimation by clustering. International Journal of Imaging Systems and Technology. 2(4):345-355.
Memarsadeghi N, Le Moigne J, Mount D.  2006.  Image fusion using cokriging. Geosci. and Remote Sens. Symp., 2006. IGARSS 2006. IEEE Int. Conf. on. :2518-2521.
Plaisant C, Carr DA, Shneiderman B.  1994.  Image Browsers: Taxonomy, Guidelines, and Informal Specifications. Institute for Systems Research Technical Reports.
Gupta SK, Nau DS, Regli WC.  1998.  IMACS: a case study in real-world planning. Intelligent Systems and their Applications, IEEE. 13(3):49-60.
Fermüller C, Ji H, Kitaoka A.  2010.  Illusory motion due to causal time filtering. Vision research. 50(3):315-329.
Fermüller C, Ji H.  2007.  Illusory Motion Due to Causal Time Filtering. Journal of Vision. 7(9):977-977.
Fermüller C, Li Y.  2010.  Illusory Lightness Perception Due to Signal Compression and Reconstruction. Journal of VisionJ Vis. 10(7):426-426.
Zhou SK, Chellappa R, Jacobs DW.  2004.  Illumination, Reflectance, and Reflection-Characterization of Human Faces under Illumination Variations Using Rank, Integrability, and Symmetry Constraints. Lecture Notes in Computer Science. 3021:588-601.
Mei X, Ling H, Jacobs DW.  2011.  Illumination Recovery From Image With Cast Shadows Via Sparse Representation. Image Processing, IEEE Transactions on. 20(8):2366-2377.

Pages