Publications
Export 7151 results:
Author Title [ Type] Year Filters: Efficient-model-checking-buchi-tableau-automata%E2%8B%86 is [Clear All Filters]
1978. Implementation of a Capability-Based Data Abstraction. Software Engineering, IEEE Transactions on. SE-4(1):56-64.
2002. Impediments to software engineering technology transfer. Journal of Systems and Software. Forthcoming.
2003. IMPACTing SHOP: Putting an AI Planner Into a Multi-Agent Environment. Annals of Mathematics and Artificial Intelligence. 37(4):381-407.
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.
2003. Immediate Usability: Kiosk design principles from the CHI 2001 Photo Library. Technical Reports from UMIACS.
2004. Immediate usability: a case study of public access design for a community photo library. Interacting with Computers. 16(6):1171-1193.
2008. An Immediate Concurrent Execution (ICE) Abstraction Proposal for Many-Cores. Computer Science Research Works.
2009. Imaging room acoustics with the audio camera.. The Journal of the Acoustical Society of America. 125(4):2544-2544.
2005. Image-Based Highly Interactive Web Mapping for Geo-Referenced Data Publishing (2002). Institute for Systems Research Technical Reports.
2003. Image-based highly interactive Web mapping for geo-referenced data publishing. Technical Reports from UMIACS.
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.
2009. Image Transformations and Blurring. IEEE Transactions on Pattern Analysis and Machine Intelligence. 31(5):811-823.
1982. Image Smoothing and Segmentation by Cost Minimization. IEEE Transactions on Systems, Man, and Cybernetics. SMC-12:91-96.
2006. Image Similarity and Asymmetry to Improve Computer-Aided Detection of Breast Cancer. Digital Mammography. :221-228.
2002. Image Restoration through Subimages and Confidence Images. Electronic Transactions on Numerical Analysis. 13:22-37.
1990. Image motion estimation by clustering. International Journal of Imaging Systems and Technology. 2(4):345-355.
2006. Image fusion using cokriging. Geosci. and Remote Sens. Symp., 2006. IGARSS 2006. IEEE Int. Conf. on. :2518-2521.
1994. Image Browsers: Taxonomy, Guidelines, and Informal Specifications. Institute for Systems Research Technical Reports.
1998. IMACS: a case study in real-world planning. Intelligent Systems and their Applications, IEEE. 13(3):49-60.
2010. Illusory Lightness Perception Due to Signal Compression and Reconstruction. Journal of VisionJ Vis. 10(7):426-426.
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.
2011. Illumination Recovery From Image With Cast Shadows Via Sparse Representation. Image Processing, IEEE Transactions on. 20(8):2366-2377.