Publications
Export 1734 results:
Author Title [ Type
] Year Filters: First Letter Of Last Name is M [Clear All Filters]
2002. 1.375-Approximation Algorithm for Sorting by Reversals. Algorithms — ESA 2002Algorithms — ESA 2002. 2461:401-408.
2005. Active Constrained Clustering by Examining Spectral Eigenvectors. Discovery ScienceDiscovery Science. 3735:294-307.
2013. Adaptive and Concurrent Secure Computation from New Adaptive, Non-malleable Commitments. Advances in Cryptology - ASIACRYPT 2013. :316-336.
2010. Advances in Automated Model-Based System Testing of Software Applications with a GUI Front-End. Advances in ComputersAdvances in Computers. Volume 80:121-162.
2009. Advances in Web Testing. Computer Performance IssuesComputer Performance Issues. Volume 75:281-306.
2007. Aggregates in Generalized Temporally Indeterminate Databases. Scalable Uncertainty ManagementScalable Uncertainty Management. 4772:171-186.
2007. Agile Quality Assurance Techniques for GUI-Based Applications. Agile software development quality assuranceAgile software development quality assurance. :114-114.
2010. Aligning Spatio-Temporal Signals on a Special Manifold. Computer Vision – ECCV 2010Computer Vision – ECCV 2010. 6315:547-560.
2002. Analysis of approximate nearest neighbor searching with clustered point sets. Data Structures, Near Neighbor Searches, and MethodologyData Structures, Near Neighbor Searches, and Methodology. 59:105-123.
2002. Analysis of approximate nearest neighbor searching with clustered point sets. Data Structures, Near Neighbor Searches, and MethodologyData Structures, Near Neighbor Searches, and Methodology. 59:105-123.
2004. Analyzing the number of samples required for an approximate Monte-Carlo LMS line estimator. Theory and Applications of Recent Robust MethodsTheory and Applications of Recent Robust Methods. :207-219.
2010. Articulation-Invariant Representation of Non-planar Shapes. Computer Vision – ECCV 2010Computer Vision – ECCV 2010. 6313:286-299.
2002. An Augmented Visual Query Mechanism for Finding Patterns in Time Series Data. Flexible Query Answering SystemsFlexible Query Answering Systems. 2522:240-250.
2004. Automated GUI regression testing using AI planning. Artificial Intelligence Methods in Software TestingArtificial Intelligence Methods in Software Testing. :51-99.
2011. Automated Planning Logic Synthesis for Autonomous Unmanned Vehicles in Competitive Environments with Deceptive Adversaries. New Horizons in Evolutionary Robotics. 341:171-193.
2003. Automating DAML-S Web Services Composition Using SHOP2. The Semantic Web - ISWC 2003. 2870:195-210.
2004. Bias in Shape Estimation. Computer Vision - ECCV 2004Computer Vision - ECCV 2004. 3023:405-416.
2008. Black-Box Construction of a Non-malleable Encryption Scheme from Any Semantically Secure One. Theory of Cryptography. :427-444.
2014. Can Optimally-Fair Coin Tossing Be Based on One-Way Functions? Theory of Cryptography. :217-239.
2014. Can Optimally-Fair Coin Tossing Be Based on One-Way Functions? Theory of Cryptography. :217-239.
2012. Collecting Semantic Similarity Ratings to Connect Concepts in Assistive Communication Tools. Modeling, Learning, and Processing of Text Technological Data StructuresModeling, Learning, and Processing of Text Technological Data Structures. 370:81-93.