Publications
Export 7151 results:
Author Title [ Type] Year Filters: Efficient-model-checking-buchi-tableau-automata%E2%8B%86 is [Clear All Filters]
2016. IncA/C Conjugative Plasmids Mobilize a New Family of Multidrug Resistance Islands in Clinical Vibrio cholerae Non-O1/Non-O139 Isolates from Haiti. mBio. (4)
2002. In Web we trust: establishing strategic trust among online customers. E-Service: new directions in theory and practice. :90-107.
2003. In vivo filtering of in vitro expression data reveals MyoD targets. Comptes Rendus Biologies. 326(10–11):1049-1065.
2002. In vitro adhesion to human cells by viable but nonculturable Enterococcus faecalis. Current microbiology. 45(2):105-110.
2006. In VINI veritas: realistic and controlled network experimentation. SIGCOMM Comput. Commun. Rev.. 36(4):3-14.
2008. Improving the round complexity of vss in point-to-point networks. Automata, Languages and Programming. :499-510.
2009. Improving the round complexity of VSS in point-to-point networks. Information and Computation. 207(8):889-899.
1978. Improving the human factors aspect of database interactions. ACM Trans. Database Syst.. 3(4):417-439.
2003. Improving the Arabidopsis genome annotation using maximal transcript alignment assemblies. Nucleic Acids ResearchNucl. Acids Res.. 31(19):5654-5666.
1993. Improving the accuracy of touchscreens: an experimental evaluation of three strategies. Sparks of innovation in human-computer interaction. :161-161.
2009. Improving recommendation accuracy by clustering social networks with trust. Recommender Systems & the Social Web. :1-8.
2013. Improving public transit accessibility for blind riders by crowdsourcing bus stop landmark locations with Google street view. The 15th International ACM SIGACCESS Conference. :16-8.
2004. Improving performance of heterogeneous agents. Annals of Mathematics and Artificial Intelligence. 41(2):339-395.
2002. Improving Performance of Agents by Activity Partitioning. Technical Reports from UMIACS, UMIACS-TR-2002-96.
2009. Improving graph drawing readability by incorporating readability metrics: A software tool for network analysts. University of Maryland, HCIL Tech Report HCIL-2009-13.
2011. Improving Classifier Performance by Autonomously Collecting Background Knowledge from the Web. 2011 10th International Conference on Machine Learning and Applications Workshops. :1-6.
2004. Improving browsing environment compliance evaluations for websites. Proceedings of the International Workshop on Web Quality (WQ'04).
2009. Improvement and analysis of computational methods for prediction of residual dipolar couplings. Journal of Magnetic Resonance. 201(1):25-33.
1997. Improved parallel approximation of a class of integer programming problems. Algorithmica. 17(4):449-462.
2004. Improved Multiuser Detectors Employing Genetic Algorithms in a Space-Time Block Coded System, Yinggang Du and Kam Tai Chan. Signal. 2004(5):640-648.
1999. Improved Methods for Approximating Node Weighted Steiner Trees and Connected Dominating Sets. Information and Computation. 150(1):57-74.
2011. Improved Identification and Visualization of Emergency Department Patient Visits. Annals of Emergency Medicine. 58(4):S309-S309.