Publications
Export 7151 results:
Author [ Title] Type Year Filters: Efficient-model-checking-buchi-tableau-automata%E2%8B%86 is [Clear All Filters]
2001. Rapidly retargetable interactive translingual retrieval. Proceedings of the first international conference on Human language technology research. :1-5.
2011. Rapid understanding of scientific paper collections: integrating statistics, text analysis, and visualization. University of Maryland, Human-Computer Interaction Lab Tech Report HCIL-2011.
2020. Rapid, quantitative therapeutic screening for Alzheimer's enzymes enabled by optimal signal transduction with transistors. The Analyst. 145(8):2925-2936.
2010. Rapid prototyping for digital signal processing systems using Parameterized Synchronous Dataflow graphs. 2010 21st IEEE International Symposium on Rapid System Prototyping (RSP). :1-7.
2015. Rapid Proliferation of Vibrio parahaemolyticus, Vibrio vulnificus, and Vibrio cholerae during Freshwater Flash Floods in French Mediterranean Coastal Lagoons. Applied and Environmental Microbiology. (21):7600-7609.
2003. Rapid porting of DUSTer to Hindi. ACM Transactions on Asian Language Information Processing (TALIP). 2(2):118-123.
2005. Rapid "crash testing" for continuously evolving GUI-based software applications. Software Maintenance, 2005. ICSM'05. Proceedings of the 21st IEEE International Conference on. :473-482.
2004. A Rao-Blackwellized particle filter for EigenTracking. Proceedings of the 2004 IEEE Computer Society Conference on Computer Vision and Pattern Recognition, 2004. CVPR 2004. 2:II-980-II-986Vol.2.
2010. Ranking under temporal constraints. Proceedings of the 19th ACM international conference on Information and knowledge management. :79-88.
2006. Ranking search results in P2P systems. Technical Report, CR-TR-4779, Department of Computer Science, University of Maryland.
2004. A Rank-by-Feature Framework for Unsupervised Multidimensional Data Exploration Using Low Dimensional Projections. IEEE Symposium on Information Visualization, 2004. INFOVIS 2004. :65-72.
2005. A Rank-by-Feature Framework for Interactive Exploration of Multidimensional Data (2004). Institute for Systems Research Technical Reports.
2005. A Rank-by-Feature Framework for Interactive Exploration of Multidimensional Data. Information VisualizationInformation Visualization. 4(2):96-113.
2003. Rank constrained recognition under unknown illuminations. Analysis and Modeling of Faces and Gestures, 2003. AMFG 2003. IEEE International Workshop on. :11-18.
2008. A range of indicators for the evaluation of state health department Web-based data query systems. Issues in Evaluating Health Department Web-based Data Query Systems: Working Papers. :39-39.
1995. Randomness-Optimal Unique Element Isolation with Applications to Perfect Matching and Related Problems. SIAM Journal on Computing. 24(5):1036-1036.
1984. Randomized speed-ups in parallel computation. Proceedings of the sixteenth annual ACM symposium on Theory of computing. :230-239.
1992. Randomized range-maxima in nearly-constant parallel time. Computational Complexity. 2(4):350-373.
1987. Randomized parallel speedups for list ranking* 1. Journal of Parallel and Distributed Computing. 4(3):319-333.
1998. A Randomized Parallel Sorting Algorithm with an Experimental Study. Journal of Parallel and Distributed Computing. 52(1):1-23.
1997. Randomized Distributed Edge Coloring via an Extension of the Chernoff--Hoeffding Bounds. SIAM Journal on Computing. 26(2):350-350.
2008. The Randomized Coloring Procedure with Symmetry-Breaking. Automata, Languages and ProgrammingAutomata, Languages and Programming. 5125:306-319.
1984. Randomized and deterministic simulations of PRAMs by parallel machines with restricted granularity of parallel memories. Acta Informatica. 21(4):339-374.