Publications

Export 1734 results:
Author Title [ Type(Desc)] Year
Filters: First Letter Of Last Name is M  [Clear All Filters]
Book Chapters
Barrett C, Cook D, Hicks G, Faber V, Marathe A, Marathe M, Srinivasan A, Sussmann Y, Thornquist H.  2001.  Experimental Analysis of Algorithms for Bilateral-Contract Clearing Mechanisms Arising in Deregulated Power Industry. Algorithm EngineeringAlgorithm Engineering. 2141:172-184.
Barrett C, Cook D, Hicks G, Faber V, Marathe A, Marathe M, Srinivasan A, Sussmann Y, Thornquist H.  2001.  Experimental Analysis of Algorithms for Bilateral-Contract Clearing Mechanisms Arising in Deregulated Power Industry. Algorithm EngineeringAlgorithm Engineering. 2141:172-184.
Bitsakos K, Fermüller C, Aloimonos Y.  2010.  An Experimental Study of Color-Based Segmentation Algorithms Based on the Mean-Shift Concept. Computer Vision – ECCV 2010Computer Vision – ECCV 2010. 6312:506-519.
Gopalan R, Schwartz WR, Chellappa R, Srivastava A.  2011.  Face Detection. Visual Analysis of HumansVisual Analysis of Humans. :71-90.
Berman P, Hannenhalli S.  1996.  Fast sorting by reversal. Combinatorial Pattern MatchingCombinatorial Pattern Matching. 1075:168-185.
Khuller S, Martinez V, Nau DS, Simari G, Sliva A, Subrahmanian V.  2007.  Finding Most Probable Worlds of Probabilistic Logic Programs. Scalable Uncertainty Management. 4772:45-59.
Card SK, Mackinlay JD, Shneiderman B.  1999.  Fisheye views. Readings in information visualizationReadings in information visualization. :311-311.
Van Horn D, Mairson HG.  2008.  Flow Analysis, Linearity, and PTIME. Static Analysis. :255-269.
Card SK, Mackinlay JD, Shneiderman B.  1999.  Focus+ context. Readings in information visualizationReadings in information visualization. :306-309.
Pratikakis P, Foster JS, Hicks MW, Neamtiu I.  2008.  Formalizing Soundness of Contextual Effects. Theorem Proving in Higher Order LogicsTheorem Proving in Higher Order Logics. 5170:262-277.
Pratikakis P, Foster JS, Hicks MW, Neamtiu I.  2008.  Formalizing Soundness of Contextual Effects. Theorem Proving in Higher Order LogicsTheorem Proving in Higher Order Logics. 5170:262-277.
Patel VM, Pillai JK, Chellappa R.  2011.  Image and Video-Based Biometrics. Visual Analysis of HumansVisual Analysis of Humans. :437-454.
Elaine Shi, Niu Y, Jakobsson M, Chow R.  2011.  Implicit Authentication through Learning User Behavior. Information Security. 6531:99-113.
Choi SGeol, Dachman-Soled D, Malkin T, Wee H.  2009.  Improved Non-committing Encryption with Applications to Adaptively Secure Protocols. Advances in Cryptology – ASIACRYPT 2009. :287-302.
Choi SGeol, Dachman-Soled D, Malkin T, Wee H.  2009.  Improved Non-committing Encryption with Applications to Adaptively Secure Protocols. Advances in Cryptology – ASIACRYPT 2009. :287-302.
Otto SP, Cummings MP, Wakeley J.  1996.  Inferring phylogenies from DNA sequence data: The effects of sampling. New Uses for New PhylogeniesNew Uses for New Phylogenies. :103-115.
Kuter U, Sirin E, Nau DS, Parsia B, Hendler J.  2004.  Information Gathering During Planning for Web Service Composition. The Semantic Web – ISWC 2004. 3298:335-349.
Bederson BB, Plaisant C, Mushlin R, Snyder A, Li J, Heller D, Shneiderman B, Hochheiser H, Fekete JD, Czenvinski M.  2003.  Innovating the Interaction. The craft of information visualization: readings and reflectionsThe craft of information visualization: readings and reflections. :295-295.
Card SK, Mackinlay JD, Shneiderman B.  1999.  Interaction. Readings in information visualizationReadings in information visualization. :231-234.
Card SK, Mackinlay JD, Shneiderman B.  1999.  Interactive analysis. Readings in information visualizationReadings in information visualization. :261-262.
Reeder F, Dorr BJ, Farwell D, Habash N, Helmreich S, Hovy E, Levin L, Mitamura T, Miller K, Rambow O et al..  2004.  Interlingual Annotation for MT Development. Machine Translation: From Real Users to ResearchMachine Translation: From Real Users to Research. 3265:236-245.
Reeder F, Dorr BJ, Farwell D, Habash N, Helmreich S, Hovy E, Levin L, Mitamura T, Miller K, Rambow O et al..  2004.  Interlingual Annotation for MT Development. Machine Translation: From Real Users to ResearchMachine Translation: From Real Users to Research. 3265:236-245.
Farwell D, Dorr BJ, Habash N, Helmreich S, Hovy E, Green R, Levin L, Miller K, Mitamura T, Rambow O et al..  2009.  Interlingual annotation of multilingual text corpora and FrameNet. Multilingual FrameNets in Computational LexicographyMultilingual FrameNets in Computational Lexicography. 200:287-318.
Farwell D, Dorr BJ, Habash N, Helmreich S, Hovy E, Green R, Levin L, Miller K, Mitamura T, Rambow O et al..  2009.  Interlingual annotation of multilingual text corpora and FrameNet. Multilingual FrameNets in Computational LexicographyMultilingual FrameNets in Computational Lexicography. 200:287-318.
Card SK, Mackinlay JD, Shneiderman B.  1999.  Internet and Infosphere. Readings in information visualizationReadings in information visualization. :465-468.

Pages