Publications
Export 7151 results:
Author Title [ Type] Year Filters: Genomic-analysis-icevchban8-atypical-genetic-element-vibrio-cholerae is [Clear All Filters]
2004. Model-Based Approaches-Validating Quality of Service for Reusable Software Via Model-Integrated Distributed Continuous Quality Assurance. Lecture Notes in Computer Science. 3107:286-295.
2004. A Model-based Distributed Continuous Quality Assurance Process to Enhance the Quality of Service of Evolving Performance-intensive Software Systems. Proceedings of the 2nd ICSE Workshop on Remote Analysis and Measurement of Software Systems (RAMSS), Edinburgh, Scotland, UK.
2011. Model-based precision analysis and optimization for digital signal processors. Proceedings of the European Signal Processing Conference. :506-510.
2009. Model-based quality assessment and base-calling for second-generation sequencing data. Johns Hopkins University, Dept. of Biostatistics Working Papers. :184-184.
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.
2009. Modeling actions of PubMed users with n-gram language models. Information retrieval. 12(4):487-503.
2011. Modeling and Analysis of Correlated Binary Fingerprints for Content Identification. Information Forensics and Security, IEEE Transactions on. 6(3):1146-1159.
1998. Modeling and evaluating design alternatives for an on-line instrumentation system: a case study. IEEE Transactions on Software Engineering. 24(6):451-470.
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
1987. Modeling diagnostic reasoning: a summary of parsimonious covering theory. Computer methods and programs in biomedicine. 25(2):125-134.
2011. Modeling Multiresolution 3D Scalar Fields through Regular Simplex Bisection. Scientific Visualization: Interactions, Features, Metaphors. 2:360-377.
1996. Modeling software engineering environment capabilities. Journal of Systems and Software. 35(1):3-14.
2016. Modeling Sustainability: Population, Inequality, Consumption, and Bidirectional Coupling of the Earth and Human Systems. National Science Review. :nww081.
2002. Modeling the Effects of Greenbelts at the Urban-Rural Fringe. Proceedings of IEMSS 2002. :190-195.
2013. Modeling topic control to detect influence in conversations using nonparametric topic models. Machine Learning. :1-41.