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
Buck J, Shneiderman B.  1976.  An internship in information systems: Combining computer science education with realistic problems. SIGCSE Bull.. 8(3):80-83.
Hourcade JP, Bederson BB, Druin A, Rose A, Farber A, Takayama Y.  2003.  The International Children's Digital Library: viewing digital books online. Interacting with Computers. 15(2):151-167.
Druin A, Bederson BB, Weeks A, Farber A, Grosjean J, Guha ML, Hourcade JP, Lee J, Liao S, Reuter K et al..  2003.  The International Children's Digital Library: Description and analysis of first use. First Monday. 8(5):315-315.
Druin A, Bederson BB, Weeks A, Farber A, Grosjean J, Guha ML, Hourcade JP, Lee J, Liao S, Reuter K et al..  2003.  The International Children's Digital Library. First Monday. 8(5-5)
Bambha N, Kianzad V, Khandelia M, Bhattacharyya SS.  2002.  Intermediate representations for design automation of multiprocessor DSP systems. Design Automation for Embedded Systems. 7(4):307-323.
Dorr BJ.  1993.  Interlingual machine translation A parameterized approach. Artificial Intelligence. 63(1–2):429-492.
Dorr BJ, Passonneau RJ, Farwell D, Green R, Habash N, Helmreich S, Hovy E, Levin L, Miller KJ, Mitamura T et al..  2010.  Interlingual Annotation of Parallel Text Corpora: A New Framework for Annotation and Evaluation. Natural Language Engineering. 16(03):197-243.
Farwell D, Helmreich S, Dorr BJ, Habash N, Reeder F, Miller K, Levin L, Mitamura T, Hovy E, Rambow O et al..  2004.  Interlingual annotation of multilingual text corpora. Proceedings of the North American Chapter of the Association for Computational Linguistics Workshop on Frontiers in Corpus Annotation. :55-62.
Dorr BJ, Habash N.  2002.  Interlingua approximation: A generation-heavy approach. Proceedings of AMTA-2002.
Levitan S, Reggia JA.  1999.  Interhemispheric effects on map organization following simulated cortical lesions. Artificial intelligence in medicine. 17(1):59-85.
Shneiderman B.  1986.  Interfaces: multi-media and multi-user. Computer Supported Cooperative Work: Proceedings of the 1986 ACM conference on Computer-supported cooperative work.
Marchionini G, Plaisant C, Komlodi A.  1998.  Interfaces and tools for the library of congress national digital library program. Information Processing & Management. 34(5):535-555.
Plaisant C, Shneiderman B, Doan K, Bruns T.  1999.  Interface and data architecture for query preview in networked information systems. ACM Trans. Inf. Syst.. 17(3):320-341.
Ryabov Y, Fushman D.  2006.  Interdomain mobility in di-ubiquitin revealed by NMR. Proteins: Structure, Function, and Bioinformatics. 63(4):787-796.
Seo J, Bakay M, Chen Y-W, Hilmer S, Shneiderman B, Hoffman EP.  2004.  Interactively Optimizing Signal-to-Noise Ratios in Expression Profiling: Project-Specific Algorithm Selection and Detection P-Value Weighting in Affymetrix Microarrays. BioinformaticsBioinformatics. 20(16):2534-2544.
Seo J, Shneiderman B.  2002.  Interactively exploring hierarchical clustering results [gene identification]. Computer. 35(7):80-86.
Cignoni P, De Floriani L, Magillo P, Puppo E, Scopigno R, di Genova U.  2003.  Interactive Visualization of Large Tetrahedral Meshes through Selective Refinement. IEEE Transactions on Visualization and Computer Graphics.
Hu Y, Boyd-Graber J, Satinoff B.  2011.  Interactive topic modeling. :248-257.
Zhao H, Smith BK, Norman K, Plaisant C, Shneiderman B.  2005.  Interactive sonification of choropleth maps. IEEE Multimedia. 12(2):26-35.
Delogu F, Belardinelli M, Palmiero M, Pasqualotto E, Zhao H, Plaisant C, Federici S.  2006.  Interactive sonification for blind people exploration of geo-referenced data: comparison between a keyboard-exploration and a haptic-exploration interfaces. Cognitive Processing. 7:178-179.
Jog N, Shneiderman B.  1998.  Interactive Smooth Zoomming in a Starfield Information Visualization. Technical Reports of the Computer Science Department.
Zelkowitz MV.  1974.  Interactive PL/1. SIGPLAN Not.. 9(9):29-32.
Buono P, Aris A, Plaisant C, Khella A, Shneiderman B.  2005.  Interactive pattern search in time series. Proceedings of SPIE. 5669(1):175-186.
Rathod P, desJardins M, Sansare S.  2002.  Interactive, Incremental Scheduling for Virtual Telescopes in Education. THIRD INTERNATIONAL NASA WORKSHOP ON PLANNING AND SCHEDULING FOR SPACE. :27--29-27--29.
Wang Q, JaJa JF.  2008.  Interactive High-Resolution Isosurface Ray Casting on Multicore Processors. Visualization and Computer Graphics, IEEE Transactions on. 14(3):603-614.

Pages