Publications
Export 1858 results:
Author Title Type [ Year] Filters: First Letter Of Last Name is C [Clear All Filters]
2001. Automated Validation of Software Models. Automated Software Engineering, International Conference on. :91-91.
2001. Building an Experience Base for Software Engineering: A report on the first CeBASE eWorkshop. Product Focused Software Process Improvement. :110-125.
2001. CLEF experiments at Maryland: Statistical stemming and backoff translation. Cross-Language Information Retrieval and Evaluation. :176-187.
2001. Distributed processing of very large datasets with DataCutter. Parallel Computing. 27(11):1457-1478.
2001. Distributed processing of very large datasets with DataCutter. Parallel Computing. 27(11):1457-1478.
2001. Efficient Model Checking Via Buchi Tableau Automata⋆. Computer aided verification: 13th International conference, CAV 2001, Paris, France, July 18-22, 2001: proceedings. 2102:38-38.
2001. Equivalence and preorder checking for finite-state systems. Handbook of Process Algebra. :391-424.
2001. An experience management system for a software engineering research organization. Software Engineering Workshop, 2001. Proceedings. 26th Annual NASA Goddard. :29-35.
2001. Experimental Analysis of Algorithms for Bilateral-Contract Clearing Mechanisms Arising in Deregulated Power Industry. Algorithm EngineeringAlgorithm Engineering. 2141:172-184.
2001. Handling uncertainty with active logic. In Proceedings, AAAI Fall Symposium on Uncertainty in Computation.
2001. Handling uncertainty with active logic. In Proceedings, AAAI Fall Symposium on Uncertainty in Computation.
2001. Haptic and aural rendering of a virtual milling process. ASME 2001 Design Engineering Technical Conference and Computers and Information in Engineering Conference, Pittsburgh, PA. :105-113.
2001. Hierarchical image-based and polygon-based rendering for large-scale visualizations. Hierarchical and Geometrical Methods in Scientific VisualizationHierarchical and Geometrical Methods in Scientific Visualization.
2001. A hypergraph-based workload partitioning strategy for parallel data aggregation. Proceedings of the Eleventh SIAM Conference on Parallel Processing for Scientific Computing.
2001. A hypergraph-based workload partitioning strategy for parallel data aggregation. Proceedings of the Eleventh SIAM Conference on Parallel Processing for Scientific Computing.
2001. Implementing the Experience Factory concepts as a set of Experience Bases. Proc. 13th Int’l Conf. Software Eng. and Knowledge Eng. :102-109.
2001. Mandarin-English Information (MEI): investigating translingual speech retrieval. Proceedings of the first international conference on Human language technology research. :1-7.
2001. Performance optimization for data intensive grid applications. Active Middleware Services, 2001. Third Annual International Workshop on. :97-105.
2001. Reading between the lines: Lessons from the SDMI challenge. Proceedings of the 10th USENIX Security Symposium. :13-17.
2001. Relating amino acid sequence to phenotype: analysis of peptide-binding data. Biometrics. 57(2):632-642.
2001. Rescuing a destabilized protein fold through backbone cyclization. Journal of Molecular Biology. 308(5):1045-1062.