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
Miller BP, Clark M, Hollingsworth J, Kierstead S, Lim S-S, Torzewski T.  1990.  IPS-2: the second generation of a parallel program measurement system. IEEE Transactions on Parallel and Distributed Systems. 1(2):206-217.
Dunne C, Shneiderman B, Dorr BJ, Klavans J.  2010.  iOpener Workbench: Tools for rapid understanding of scientific literature. Human-Computer Interaction Lab 27th Annual Symposium, University of Maryland, College Park, MD.
Hannenhalli S.  2006.  Invited Talk: Deciphering Gene Regulatory Networks by in silico approaches. 6th International Workshop on Data Mining in Bioinformatics (BIOKDD06). :31-31.
Gaitan M, Mayergoyz ID, Korman CE.  1990.  Investigation of the threshold voltage of MOSFETs with position and potential-dependent interface trap distributions using a fixed-point iteration method. Electron Devices, IEEE Transactions on. 37(4):1031-1038.
Sears A, REVIS DOREEN, SWATSKI JANET, CRITTENDEN ROB, Shneiderman B.  1993.  Investigating touchscreen typing: the effect of keyboard size on typing speed. Behaviour & Information Technology. 12(1):17-22.
Ishita E, Oard D, Fleischmann KR, Cheng AS, Templeton TC.  2010.  Investigating multi-label classification for human values. Proceedings of the American Society for Information Science and Technology. 47(1):1-4.
Gumerov NA, Chahine GL.  2000.  An inverse method for the acoustic detection, localization and determination of the shape evolution of a bubble. Inverse Problems. 16:1741-1741.
Dodis Y, Franklin M, Katz J, Miyaji A, Yung M.  2003.  Intrusion-resilient public-key encryption. Topics in Cryptology—CT-RSA 2003. :19-32.
Earl C, Sergey I, Might M, Van Horn D.  2012.  Introspective Pushdown Analysis of Higher-Order Programs. arXiv:1207.1813 [cs].
Shneiderman B, Lazar J, IVORY M.  2003.  INTRODUCTION TO VOLUME 1, ISSUE 3: WEB NAVIGATION. IT&SOCIETY. 1(3)
Perlis D, Norvig P.  2005.  Introduction to the special review issue. Artificial Intelligence. 169(2):103-103.
Getoor L, Diehl CP.  2005.  Introduction to the special issue on link mining. ACM SIGKDD Explorations Newsletter. 7(2):1-2.
Scholtz J, Shneiderman B.  1999.  Introduction to Special Issue on Usability Engineering. Empirical Software Engineering. 4(1):5-10.
Getoor L.  2006.  An introduction to probabilistic graphical models for relational data. Data Engineering Bulletin. 29(1)
Dorr BJ, Klavans J.  1994.  Introduction: Special issue on building lexicons for machine translation. Machine Translation. 9(3):151-153.
Gou H, Swaminathan A, M. Wu.  2009.  Intrinsic Sensor Noise Features for Forensic Analysis on Scanners and Scanned Images. Information Forensics and Security, IEEE Transactions on. 4(3):476-491.
Swaminathan A, Wu M, Liu KJR.  2007.  Intrinsic fingerprints for image authentication and steganalysis. Proc. SPIE Conf. Security, Steganography, Watermarking of Multimedia Contents.
Kommareddy C, Guven T, Bhattacharjee B, La R, Shayman M.  2003.  Intradomain Overlays: Architecture and Applications. Technical Reports from UMIACS, UMIACS-TR-2003-70.
Zhao H, Plaisant C.  2005.  InterSon: Interactive Sonification for Geo-referenced Data Exploration for the Vision Impaired. Tech Report HCIL-2005-13.
Hunter S, Jones P, Mitchell A, Apweiler R, Attwood TK, Bateman A, Bernard T, Binns D, Bork P, Burge S et al..  2012.  InterPro in 2011: new developments in the family and domain prediction database.. Nucleic Acids Res. 40(Database issue):D306-12.
Gurney J, Perlis D, Purang K.  1997.  Interpreting presuppositions using active logic: From contexts to utterances. Computational Intelligence. 13(3):391-413.
Cuntoor NP, Yegnanarayana B, Chellappa R.  2005.  Interpretation of state sequences in HMM for activity representation. Proc. IEEE Conf. Acoustic Speech and Signal Processing. 2:709-712.
Duraiswami R, Zotkin DN, Gumerov NA.  2004.  INTERPOLATION AND RANGE EXTRAPOLATION OF HEAD RELATED TRANSFER FUNCTIONS. IEEE INTERNATIONAL CONFERENCE ON ACOUSTICS SPEECH AND SIGNAL PROCESSING. 4
Raschid L, Chang Y.  1995.  Interoperable query processing from object to relational schemas based on a parameterized canonical representation. Int. J. Cooperative Inf. Syst.. 4(1):81-120.
Litwin W, Mark L, Roussopoulos N.  1990.  Interoperability of multiple autonomous databases. ACM Computing SurveysACM Comput. Surv.. 22(3):267-293.

Pages