Publications

Export 447 results:
[ Author(Asc)] Title Type Year
Filters: First Letter Of Last Name is M  [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 
M
Miller M, Perlis D.  1996.  Automated inference in active logics. JOURNAL OF APPLIED NONCLASSICAL LOGICS. 6:9-28.
Miller M, Perlis D.  1991.  Typicality constants and range defaults: Some pros and cons of a cognitive model of default reasoning. Methodologies for Intelligent Systems. :560-569.
Miller BP, Clark M, Hollingsworth J, Kierstead S, Lim S-S, Torzewski T.  1990.  IPS-2: the second generation of a parallel program measurement system. IEEE Transactions on Parallel and Distributed Systems. 1(2):206-217.
Miller M, Perlis D, Purang K.  1998.  Defaults Denied. UMIACS-TR-96-61
Miller M, Perlis D.  1987.  Proving self-utterances. Journal of Automated Reasoning. 3(3):329-338.
Miller BP, Callaghan MD, Cargille JM, Hollingsworth J, Irvin RB, Karavanic KL, Kunchithapadam K, Newhall T.  1995.  The Paradyn parallel performance measurement tool. Computer. 28(11):37-46.
Miller M, Perlis D.  1993.  Presentations and this and that: logic in action. Proceedings of the 15th Annual Conference of the Cognitive Science Society, Boulder, Colorado. 251
Mihalkova L, Moustafa W, Getoor L.  2011.  Learning to predict web collaborations. Workshop on User Modeling for Web Applications (UMWA-11).
Mihaila GA, Raschid L, Vidal ME.  2000.  Using quality of data metadata for source selection and ranking. Proceedings of the Third International Workshop on the Web and Databases, WebDB. :93-98.
Mihaila G, Naumann F, Raschid L, Vidal ME.  2005.  A data model and query language to explore enhanced links and paths in life science sources. Proceedings of the ACM SIGMOD Workshop on The Web and Databases (WebDB).
Mihaila GA, Raschid L, Tomasic A.  2002.  Locating and accessing data repositories with WebSemantics. The VLDB journal. 11(1):47-57.
Mihaila GA, Raschid L, Vidal ME.  2001.  Source Selection and Ranking in the WebSemantics Architecture Using Quality of Data Metadata-1 Introduction. Advances in Computers. 55:89-90.
Might M, Smaragdakis Y, Van Horn D.  2010.  Resolving and Exploiting the k-CFA Paradox: Illuminating Functional vs. Object-oriented Program Analysis. PLDI '10 Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation. :305-315.
Might M, Van Horn D.  2011.  A family of abstract interpretations for static analysis of concurrent higher-order programs. arXiv:1103.5167 [cs].
Michelson M, Macskassy SA, Minton SN, Getoor L.  2011.  Materializing multi-relational databases from the web using taxonomic queries. Proceedings of the fourth ACM international conference on Web search and data mining. :355-364.
Miara RJ, Musselman JA, Navarro JA, Shneiderman B.  1983.  Program indentation and comprehensibility. Communications of the ACM. 26(11):861-867.
Meyers A, Fang AC, Ferro L, Kübler S, Jia-Lin T, Palmer M, Poesio M, Dolbey A, Schuler KK, Loper E et al..  2006.  Annotation compatibility working group report. Proceedings of the Workshop on Frontiers in Linguistically Annotated Corpora 2006. :38-53.
Meyer R, Cukier M.  2006.  Assessing the Attack Threat due to IRC Channels. :467-472.
Methé BA, Nelson KE, Pop M, Creasy HH, Giglio MG, Huttenhower C, Gevers D, Petrosino JF, Abubucker S, Badger JH.  2012.  A framework for human microbiome research. Nature. 486:215-221.
Mesmoudi M, De Floriani L, Magillo P.  2009.  Discrete distortion for surface meshes. Image Analysis and Processing–ICIAP 2009. :652-661.
Mesmoudi MM, Danovaro E, De Floriani L, Port U.  2007.  Surface Segmentation through Concentrated Curvature. Image Analysis and Processing, 2007. ICIAP 2007. 14th International Conference on. :671-676.
Mesmoudi MM, De Floriani L, Magillo P.  2011.  Discrete Curvature Estimators: an Experimental Evaluation. DISI-TR-11-12
Mesmoudi M M, De Floriani L, Magillo P.  2009.  Morphology analysis of 3D scalar fields based on morse theory and discrete distortion. Proceedings of the 17th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems. :187-196.
Mesmoudi MM, De Floriani L, Magillo P.  2010.  A geometric approach to curvature estimation on triangulated 3D shapes. Int. Conf. on Computer Graphics Theory and Applications (GRAPP). :90-95.
Mesmoudi M M, De Floriani L, Magillo P.  2008.  Morphological analysis of terrains based on discrete curvature and distortion. Proceedings of the 16th ACM SIGSPATIAL international conference on Advances in geographic information systems. :53:1–53:4-53:1–53:4.

Pages