Publications

Export 467 results:
[ Author(Desc)] Title Type Year
Filters: First Letter Of Title 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 
B
Bultan T, Gerber R, Pugh W.  1999.  Model-checking concurrent systems with unbounded integer variables: symbolic representations, approximations, and experimental results. ACM Transactions on Programming Languages and SystemsACM Trans. Program. Lang. Syst.. 21(4):747-789.
C
Card SK, Mackinlay JD, Shneiderman B.  1999.  Multiple dimensions> 3. Readings in information visualization. :93-95.
Cardenas-Garcia S, Zelkowitz MV.  1991.  A management tool for evaluation of software design. Software Engineering, IEEE Transactions on. 17(9):961-971.
Cardone A, Gupta SK, Deshmukh A, Karnik M.  2006.  Machining feature-based similarity assessment algorithms for prismatic machined parts. Computer-Aided Design. 38(9):954-972.
Chellappa R, Chowdhury A RK, Srinivasan S.  2007.  Method of three-dimensional object reconstruction from a video sequence using a generic model. 10/644,817(7184071)
Chellappa R, Sankaranarayanan AC, Veeraraghavan A.  2008.  Mixed state models for automatic target recognition and behavior analysis in video sequences. Proceedings of SPIE. 6967(1):69670Q-69670Q-11-69670Q-69670Q-11.
Cheng ST, Hwang SI, Agrawala AK.  1994.  Mission-oriented replication of periodic tasks in real-time distributed systems. Computer Science Technical Report Series; Vol. CS-TR-3256. :24-24.
Chetty M.  2011.  Making infrastructure visible: a case study of home networking.
Cho S, Reggia JA.  1994.  Map formation in proprioceptive cortex.. International journal of neural systems. 5(2):87-87.
Cho S, Reggia JA.  1993.  Multiple disorder diagnosis with adaptive competitive neural networks. Artificial intelligence in medicine. 5(6):469-487.
Cho M, Mount D, Park E.  2009.  Maintaining nets and net trees under incremental motion. Algorithms and Computation. :1134-1143.
Chu B-TB, Reggia JA.  1990.  Modeling diagnostic problem-solving at multiple levels of abstraction. Artificial Intelligence Applications, 1990., Sixth Conference on. :55-61vol.1-55-61vol.1.
Chuang W-H, Varna AL, M. Wu.  2009.  Modeling and analysis of ordinal ranking in content fingerprinting. Information Forensics and Security, 2009. WIFS 2009. First IEEE International Workshop on. :116-120.
Cignoni P, De Floriani L, Lindstrom P, Pascucci V, Rossignac J, Silva C.  2004.  Multi-resolution modeling, visualization and streaming of volume meshes. Eurographics 2004, Tutorials 2: Multi-resolution Modeling, Visualization and Streaming of Volume Meshes.
Cleaveland R, Natarajan V, Sims S, Luettgen G.  1996.  Modeling and verifying distributed systems using priorities: A case study. Software - Concepts and Tools. 17(2):50-62.
Clemens DT, Jacobs DW.  1991.  Model group indexing for recognition. Computer Vision and Pattern Recognition, 1991. Proceedings CVPR '91., IEEE Computer Society Conference on. :4-9.
Colwell RR.  2006.  Microbial diversity in the era of genomics. SYMPOSIA-SOCIETY FOR GENERAL MICROBIOLOGY. 66:1-1.
Colwell RR.  2008.  The marine environment and human health: the cholera model. Global Climate Change and Extreme Weather Events: Understanding the Contributions to Infectious Disease EmergenceGlobal Climate Change and Extreme Weather Events: Understanding the Contributions to Infectious Disease Emergence.
Č
Čomić L, De Floriani L, Papaleo L.  2005.  Morse-Smale decompositions for modeling terrain knowledge. Spatial Information Theory. :426-444.
C
Comic L, De Floriani L.  2008.  Multi-Scale 3D Morse Complexes. Computational Sciences and Its Applications, 2008. ICCSA '08. International Conference on. :441-451.
Cummings MP, Meyer A.  2005.  Magic bullets and golden rules: data sampling in molecular phylogenetics. Zoology (Jena). 108(4):329-336.
Cunha Í, Teixeira R, Feamster N, Diot C.  2009.  Measurement methods for fast and accurate blackhole identification with binary tomography. Proceedings of the 9th ACM SIGCOMM conference on Internet measurement conference. :254-266.
Cuntoor NP, Chellappa R.  2007.  Mixed-state models for nonstationary multiobject activities. EURASIP J. Appl. Signal Process.. 2007(1):106-106.
D
Dachman-Soled D.  2014.  On Minimal Assumptions for Sender-Deniable Public Key Encryption. Public-Key Cryptography – PKC 2014. :574-591.
Dagon D, Feamster N, Lee W, Edmonds R, Lipton R, Ramachandran A.  2008.  Method and System for Detecting and Responding to Attacking Networks. 11/538,212

Pages