Publications
Export 467 results:
Author [ Title] Type Year Filters: First Letter Of Title is M [Clear All Filters]
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.
2004. Model-driven data acquisition in sensor networks. Proceedings of the Thirtieth international conference on Very large data bases - Volume 30. :588-599.
1992. Model-driven mapping onto distributed memory parallel computers. Proceedings of the 1992 ACM/IEEE conference on Supercomputing. :818-829.
2009. Modeling actions of PubMed users with n-gram language models. Information retrieval. 12(4):487-503.
2006. Modeling Age Progression in Young Faces. Computer Vision and Pattern Recognition, 2006 IEEE Computer Society Conference on. 1:387-394.
2009. Modeling and analysis of content identification. Multimedia and Expo, 2009. ICME 2009. IEEE International Conference on. :1528-1531.
2011. Modeling and Analysis of Correlated Binary Fingerprints for Content Identification. Information Forensics and Security, IEEE Transactions on. 6(3):1146-1159.
2009. Modeling and analysis of ordinal ranking in content fingerprinting. Information Forensics and Security, 2009. WIFS 2009. First IEEE International Workshop on. :116-120.
1998. Modeling and evaluating design alternatives for an on-line instrumentation system: a case study. IEEE Transactions on Software Engineering. 24(6):451-470.
2010. Modeling and generalization of discrete Morse terrain decompositions. Proc. 20th Int. Conf. on Pattern Recognition, ICPR. 10:999-1002.
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.
2003. Modeling and Rendering of Points with Local Geometry. IEEE Transactions on Visualization and Computer Graphics. 9(1):30-42.
2006. Modeling and Simulation of the Escalation Archetype in Computer Security. Symposium on Simulation Software Security (SSSS 06). 38(2):495-495.
2009. Modeling and Testing of Ethernet Transformers. Magnetics, IEEE Transactions on. 45(10):4793-4796.
1997. Modeling and verifying active structural control systems. Science of Computer Programming. 29:99-122.
1996. Modeling and verifying distributed systems using priorities: A case study. Software - Concepts and Tools. 17(2):50-62.
2008. Modeling and visualization approaches for time-varying volumetric data. Advances in Visual Computing. :1000-1010.
2009. Modeling and visualization of human activities for multicamera networks. EURASIP Journal on Image and Video Processing. 2009
1994. Modeling brain adaptation to focal damage.. Proceedings of the Annual Symposium on Computer Application in Medical Care. :860-860.
2009. Modeling content fingerprints using markov random fields. Information Forensics and Security, 2009. WIFS 2009. First IEEE International Workshop on. :111-115.
1990. Modeling diagnostic problem-solving at multiple levels of abstraction. Artificial Intelligence Applications, 1990., Sixth Conference on. :55-61vol.1-55-61vol.1.
1987. Modeling diagnostic reasoning: a summary of parsimonious covering theory. Computer methods and programs in biomedicine. 25(2):125-134.
2011. Modeling diverse standpoints in text classification: learning to be human by modeling human values. Proceedings of the 2011 iConference. :672-673.
1996. Modeling, Evaluation, and Testing of Paradyn Instrumentation System. Proceedings of the 1996 ACM/IEEE Conference on Supercomputing, 1996. :18-18.