Publications

Export 467 results:
Author [ Title(Desc)] 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 
M
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.
Deshpande A, Guestrin C, Madden SR, Hellerstein JM, Hong W.  2004.  Model-driven data acquisition in sensor networks. Proceedings of the Thirtieth international conference on Very large data bases - Volume 30. :588-599.
Sussman A.  1992.  Model-driven mapping onto distributed memory parallel computers. Proceedings of the 1992 ACM/IEEE conference on Supercomputing. :818-829.
Jimmy Lin, Wilbur WJ.  2009.  Modeling actions of PubMed users with n-gram language models. Information retrieval. 12(4):487-503.
Ramanathan N, Chellappa R.  2006.  Modeling Age Progression in Young Faces. Computer Vision and Pattern Recognition, 2006 IEEE Computer Society Conference on. 1:387-394.
Varna AL, M. Wu.  2009.  Modeling and analysis of content identification. Multimedia and Expo, 2009. ICME 2009. IEEE International Conference on. :1528-1531.
Varna AL, M. Wu.  2011.  Modeling and Analysis of Correlated Binary Fingerprints for Content Identification. Information Forensics and Security, IEEE Transactions on. 6(3):1146-1159.
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.
Waheed A, Rover DT, Hollingsworth J.  1998.  Modeling and evaluating design alternatives for an on-line instrumentation system: a case study. IEEE Transactions on Software Engineering. 24(6):451-470.
De Floriani L, Magillo P, Vitali M.  2010.  Modeling and generalization of discrete Morse terrain decompositions. Proc. 20th Int. Conf. on Pattern Recognition, ICPR. 10:999-1002.
Bhattacharyya SS, Plishker W, Sane N, Shen C-C, Wu H-H.  2011.  Modeling and optimization of dynamic signal processing in resource-aware sensor networks. 2011 8th IEEE International Conference on Advanced Video and Signal-Based Surveillance (AVSS). :449-454.
Kalaiah A, Varshney A.  2003.  Modeling and Rendering of Points with Local Geometry. IEEE Transactions on Visualization and Computer Graphics. 9(1):30-42.
Rosenfeld SN, Rus I, Cukier M.  2006.  Modeling and Simulation of the Escalation Archetype in Computer Security. Symposium on Simulation Software Security (SSSS 06). 38(2):495-495.
Bowen D, Mayergoyz ID, Zhang Z, McAvoy P, Krafft C, Kroop D.  2009.  Modeling and Testing of Ethernet Transformers. Magnetics, IEEE Transactions on. 45(10):4793-4796.
Elseaidy W.  1997.  Modeling and verifying active structural control systems. Science of Computer Programming. 29:99-122.
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.
Weiss K, De Floriani L.  2008.  Modeling and visualization approaches for time-varying volumetric data. Advances in Visual Computing. :1000-1010.
Sankaranarayanan AC, Patro R, Turaga P, Varshney A, Chellappa R.  2009.  Modeling and visualization of human activities for multicamera networks. EURASIP Journal on Image and Video Processing. 2009
Feamster N, Rexford J.  2004.  Modeling BGP route selection within an AS. IEEE/ACM Transactions on Networking.
Goodall S, Reggia JA, Cho S.  1994.  Modeling brain adaptation to focal damage.. Proceedings of the Annual Symposium on Computer Application in Medical Care. :860-860.
Varna AL, M. Wu.  2009.  Modeling content fingerprints using markov random fields. Information Forensics and Security, 2009. WIFS 2009. First IEEE International Workshop on. :111-115.
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.
Reggia JA, Peng Y.  1987.  Modeling diagnostic reasoning: a summary of parsimonious covering theory. Computer methods and programs in biomedicine. 25(2):125-134.
Fleischmann KR, Templeton T C, Boyd-Graber J.  2011.  Modeling diverse standpoints in text classification: learning to be human by modeling human values. Proceedings of the 2011 iConference. :672-673.
Waheed A, Rover DT, Hollingsworth J.  1996.  Modeling, Evaluation, and Testing of Paradyn Instrumentation System. Proceedings of the 1996 ACM/IEEE Conference on Supercomputing, 1996. :18-18.

Pages