Publications

Export 7151 results:
Author [ Title(Desc)] 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 
E
Shmueli G, Jank W, Aris A, Plaisant C, Shneiderman B.  2006.  Exploring auction databases through interactive visualization. Decision Support Systems. 42(3):1521-1538.
Navlakha S, Kingsford C.  2010.  Exploring Biological Network Dynamics with Ensembles of Graph Partitions. Proceedings of the PSB Pacific Symposium on Biocomputing. 15:166-177.
Chuang W-H, Su H, M. Wu.  2011.  Exploring compression effects for improved source camera identification using strongly compressed video. Image Processing (ICIP), 2011 18th IEEE International Conference on. :1953-1956.
Lee B, Kang H, Plaisant C, Bederson BB.  2006.  Exploring content-actor paired network data using iterative query refinement with NetLens. Digital Libraries, 2006. JCDL '06. Proceedings of the 6th ACM/IEEE-CS Joint Conference on. :372-372.
Sopan A, Freire M, Taieb-Maimon M, Golbeck J, Shneiderman B.  2010.  Exploring distributions: design and evaluation. University of Maryland, Human-Computer Interaction Lab Tech Report HCIL-2010-01.
Norooz L, Froehlich J.  2013.  Exploring early designs for teaching anatomy and physiology to children using wearable e-textiles. IDC '13 Proceedings of the 12th International Conference on Interaction Design and Children. :577-580.
Hara K, Le V, Sun J, Jacobs D, Froehlich J.  2013.  Exploring Early Solutions for Automatically Identifying Inaccessible Sidewalks in the Physical World Using Google Street View. HCIC 2013.
Plaisant C, Rose J, Yu B, Auvil L, Kirschenbaum MG, Smith M N, Clement T, Lord G.  2006.  Exploring erotics in Emily Dickinson's correspondence with text mining and visual interfaces. Proceedings of the 6th ACM/IEEE-CS joint conference on Digital libraries. :141-150.
Plaisant C, Rose A.  1998.  Exploring LifeLines to Visualize Patient Records. Technical Reports of the Computer Science Department.
Kang H, Shneiderman B.  2005.  Exploring Personal Media: A Spatial Interface Supporting User-Defined Semantic Regions (2004). Institute for Systems Research Technical Reports.
Kang H, Shneiderman B.  2006.  Exploring personal media: A spatial interface supporting user-defined semantic regions. Journal of Visual Languages & Computing. 17(3):254-283.
Swaminathan A, He S, Wu M.  2006.  Exploring QIM-based anti-collusion fingerprinting for multimedia. Proceedings of SPIE. 6072:698-709.
Plaisant C, Carr DA, Hasegawa H.  1993.  Exploring remote images: a telepathology workstation. Proceedings of the INTERACT '93 and CHI '93 conference on Human factors in computing systems. :518–-518–.
Plaisant C.  2010.  Exploring temporal patterns with information visualization: keynote. Proceedings of Graphics Interface 2010. :1-2.
Jimmy Lin, Wu P, Demner-Fushman D, Abels E.  2006.  Exploring the limits of single-iteration clarification dialogs. Proceedings of the 29th annual international ACM SIGIR conference on Research and development in information retrieval. :469-476.
Fushman D, Walker O.  2010.  Exploring the Linkage Dependence of Polyubiquitin Conformations Using Molecular Modeling. Journal of Molecular Biology. 395(4):803-814.
Hua S, Qu G, Bhattacharyya SS.  2003.  Exploring the probabilistic design space of multimedia systems. 14th IEEE International Workshop on Rapid Systems Prototyping, 2003. Proceedings. :233-240.
Tsui C-jung, Wang P, Fleischmann KR, Oard D, Sayeed AB.  2010.  Exploring the Relationships among ICTs: A Scalable Computational Approach Using KL Divergence and Hierarchical Clustering. Hawaii International Conference on System Sciences. :1-10.
Labrinidis A, Roussopoulos N.  2004.  Exploring the tradeoff between performance and data freshness in database-driven web servers. The VLDB Journal. 13(3):240-255.
Agarwal A, Daumé H.  2009.  Exponential family hybrid semi-supervised learning. Proceedings of the 21st International Joint Conference on Artifical Intelligence (IJCAI-09). :974-979.
Demaine E, Hajiaghayi MT, Thilikos D.  2002.  Exponential speedup of fixed-parameter algorithms on K 3, 3-minor-free or K 5-minor-free graphs. Algorithms and Computation. :277-287.
Keleher PJ, Hollingsworth J, Perkovic D.  1999.  Exposing Application Alternatives. Distributed Computing Systems, International Conference on. :0384-0384.
Sayeed AB, Nguyen HC, Meyer TJ, Weinberg A.  2010.  Expresses-an-opinion-about: using corpus statistics in an information extraction approach to opinion mining. :1095-1103.
Stelter K, El-Sayed NM, Seeber F.  2007.  The Expression of a Plant-type Ferredoxin Redox System provides Molecular Evidence for a Plastid in the Early Dinoflagellate Perkinsus marinus. Protist. 158(1):119-130.
Taylor M, Yin C-E, M. Wu, Qu G.  2008.  Extended abstract: A hardware-assisted data hiding based approach in building high performance secure execution systems. Hardware-Oriented Security and Trust, 2008. HOST 2008. IEEE International Workshop on. :93-96.

Pages