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
Lee I, Pappas GJ, Cleaveland R, Hatcliff J, Krogh BH, Lee P, Rubin H, Sha L.  2006.  High-confidence medical device software and systems. Computer. 39(4):33-38.
Sears A, Shneiderman B.  1991.  High precision touchscreens: design strategies and comparisons with a mouse. International Journal of Man-Machine Studies. 34(4):593-613.
Kalluri SNV, JaJa JF, Bader DA, Zhang Z, Townshend JRG, Fallah-Adl H.  2000.  High performance computing algorithms for land cover dynamics using remote sensing data. International Journal of Remote Sensing. 21(6-7):1513-1536.
Duraiswami R, Zotkin DN, Li Z, Grassi E, Gumerov NA, Davis LS.  2005.  High Order Spatial Audio Capture and Binaural Head-Tracked Playback over Headphones with HRTF Cues. Proceedings 119th convention of AES.
Gumerov NA, Duraiswami R.  2007.  High frequency acoustic simulations via FMM accelerated BEM. 19th Internal congress on acoustics. 159
Neumann J, Fermüller C, Aloimonos Y.  2004.  A hierarchy of cameras for 3D photography. Computer Vision and Image Understanding. 96(3):274-293.
Pop M, Kosack DS, Salzberg SL.  2004.  Hierarchical Scaffolding With Bambus. Genome Research. 14(1):149-159.
Kustanowitz J, Shneiderman B.  2006.  Hierarchical Layouts for Photo Libraries. IEEE Multimedia. 13(4):62-72.
Deligiannakis A, Kotidis Y, Roussopoulos N.  2004.  Hierarchical in-network data aggregation with quality guarantees. Advances in Database Technology-EDBT 2004. :577-578.
Brabec F, Samet H.  2008.  Hierarchical infrastructure for internet mapping services. Geospatial Services and Applications for the Internet. :1-30.
Memon AM, Pollack ME, Soffa ML.  2001.  Hierarchical GUI test case generation using automated planning. Software Engineering, IEEE Transactions on. 27(2):144-155.
Gumerov NA, Berlin K, Fushman D, Duraiswami R.  2011.  A Hierarchical Algorithm for Fast Debye Summation with Applications to Small Angle Scattering. Technical Reports from UMIACS.
desJardins M, Bulka B, Carr R, Jordan E, Rheingans P.  2007.  Heuristic Search and Information Visualization Methods for School Redistricting. AI Magazine. 28(3):59-59.
Lazar J, Bessiere K, Ceaparu I, Robinson J, Shneiderman B.  2005.  Help! I'm Lost: User Frustration in Web Navigation (2003). Institute for Systems Research Technical Reports.
Lazar J, Bessiere K, Ceaparu I, Robinson J, Shneiderman B.  2003.  Help! I’m lost: User frustration in web navigation. IT & Society. 1(3):18-26.
Gillam M, Feied C, MOODY E, Shneiderman B, Smith M, DICKASON J.  2009.  HEALTH AND WELLBEING. The fourth paradigm: data-intensive scientific discovery. :57-57.
Gumerov NA, Duraiswami R, Zotkin DN.  2006.  Head-related transfer functions via the fast multipole accelerated boundary element method. The Journal of the Acoustical Society of America. 120(5):3342-3343.
Ceaparu I, Druin A, Guimbretiere F, Manipulation D, Shneiderman B, Westerlurid B, Keogh E, Hochheiser H, Shrieidemian B, Shneidemiari B et al..  2003.  HCIL Technical Report Listing (1993-2002). The craft of information visualization: readings and reflections. 27(29):393-393.
Schatz MC, Phillippy AM, Sommer DD, Delcher AL, Puiu D, Narzisi G, Salzberg SL, Pop M.  2011.  Hawkeye and AMOS: Visualizing and Assessing the Quality of Genome Assemblies. Briefings in Bioinformatics.
Schatz MC, Phillippy AM, Shneiderman B, Salzberg SL.  2007.  Hawkeye: an interactive visual analytics tool for genome assemblies. Genome Biology. 8(3):R34-R34.
Butler S, Hajiaghayi MT, Kleinberg RD, Leighton T.  2009.  Hat guessing games. SIAM review. 51(2):399-413.
Shneiderman B.  1980.  Hardware options, evaluation metrics, and a design sequence for interactive information systems. Information & Management. 3(1):3-18.
Tikir MM, Hollingsworth J.  2008.  Hardware monitors for dynamic page migration. Journal of Parallel and Distributed Computing. 68(9):1186-1200.
Sankaranarayanan AC, Srivastava A, Chellappa R.  2008.  Hardware and Software Systems for Image and Video Processing-Algorithmic and Architectural Optimizations for Computationally Efficient Particle Filtering. IEEE Transactions on Image Processing. 17(5):737-748.
DANČÍK V, Hannenhalli S, Muthukrishnan S.  1997.  Hardness of flip-cut problems from optical mapping. Journal of Computational Biology. 4(2):119-125.

Pages