Publications

Export 7148 results:
[ Author(Desc)] Title Type Year
Filters: Efficient-model-checking-buchi-tableau-automata%E2%8B%86 is   [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
H
Hierons RM, Krause P, Lüttgen G, Simons AJH, Vilkomir S, Woodward MR, Zedan H, Bogdanov K, Bowen JP, Cleaveland R et al..  2009.  Using formal specifications to support testing. ACM Computing Surveys. 41:1-76.
Higham NJ, Stewart G.W.  1997.  Accuracy and Stability of Numerical Algorithms. SIAM Review. 39(1):164-165.
Hilke J, Reggia JA, Navarro-Gonzalez R, Lohn J.  1995.  A modified cellular automata model of nucleotide interactions and non-enzymatic transcription of DNA. inbs. :136-136.
Hilke J, Lohn J, Reggia JA, Navarro R.  1994.  A modified cellular automata model of nucleotide interactions and DNA replication.
Hill JH, Schmidt DC, Porter A, Slaby JM.  2008.  CiCUTS: Combining System Execution Modeling Tools with Continuous Integration Environments. Engineering of Computer-Based Systems, IEEE International Conference on the. :66-75.
Hill VR, Humphrys MS, Kahler AM, Boncy J, Tarr CL, Huq A, Chen A, Katz LS, Mull BJ, Derado G et al..  2015.  Environmental Surveillance for Toxigenic Vibrio cholerae in Surface Waters of Haiti. The American Journal of Tropical Medicine and Hygiene. 92(1):118-125.
Hinsch H, Hannenhalli S.  2006.  Recurring genomic breaks in independent lineages support genomic fragility. BMC Evolutionary Biology. 6(1):90-90.
Hjaltason GR, Samet H.  2003.  Improved search heuristics for the sa-tree. Pattern Recognition Letters. 24(15):2785-2795.
Hjaltason GR, Samet H.  2003.  Index-driven similarity search in metric spaces (Survey Article). ACM Trans. Database Syst.. 28(4):517-580.
Hjaltason GR, Samet H.  2002.  Speeding up construction of PMR quadtree-based spatial indexes. The VLDB Journal. 11(2):109-137.
Hjaltason GR, Samet H.  2003.  Properties of embedding methods for similarity searching in metric spaces. Pattern Analysis and Machine Intelligence, IEEE Transactions on. 25(5):530-549.
Hoban S, desJardins M, Farrell N, Rathod P, Sachs J, Sansare S, Yesha Y, Keating J, Busschots B, Means J et al..  2002.  Virtual Telescopes in Education. Journal of Digital Information. 2(4)
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.
Hochheiser H, Shneiderman B.  2001.  Visual specification of queries for finding patterns in time-series data. Proceedings of discovery science. :441-446.
Hochheiser H, Shneiderman B.  1999.  Using Interactive Visualizations of WWW Log Data to Characterize Access Patterns and Inform Site Design. Institute for Systems Research Technical Reports.
Hochheiser H, Shneiderman B.  2005.  Coordinating Overviews and Detail Views of WWW Log Data (2000). Institute for Systems Research Technical Reports.
Hochheiser H, Shneiderman B.  2002.  Visual queries for finding patterns in time series data. University of Maryland, Computer Science Dept. Tech Report, CS-TR-4365.
Hochheiser H, Shneiderman B.  2001.  Using interactive visualizations of WWW log data to characterize access patterns and inform site design. Journal of the American Society for Information Science and Technology. 52(4):331-343.
Hochheiser H, Shneiderman B.  2000.  Coordinating overviews and detail views of WWW log data. Workshop on New Paradigms in Information Visualization and Manipulation (NPIVM 2000), ACM Press.
Hochheiser H, Shneiderman B.  2005.  Dynamic query tools for time series data sets: Timebox widgets for interactive exploration (2004). Institute for Systems Research Technical Reports.
Hochheiser H, Shneiderman B.  2000.  Performance Benefits of Simultaneous Over Sequential Menus as Task Complexity Increases. International Journal of Human-Computer Interaction. 12(2):173-192.
Hochheiser H, Shneiderman B.  2011.  Electronic medical records: usability challenges and opportunities. Interactions. 18(6):48-49.
Hochheiser H, Baehrecke EH, Mount SM, Shneiderman B.  2005.  Dynamic Querying for Pattern Identification in Microarray and Genomic Data (2003). Institute for Systems Research Technical Reports.
Hochheiser H, Shneiderman B.  2001.  Universal usability statements: Marking the trail for all users. interactions. 8(2):16-18.
Hochheiser H, Shneiderman B.  2010.  From bowling alone to tweeting together: technology-mediated social participation. Interactions. 17(2):64-67.

Pages