Publications
Export 366 results:
Author [ Title] Type Year Filters: First Letter Of Last Name is E [Clear All Filters]
2010. Using methods & measures from network analysis for gui testing. Software Testing, Verification, and Validation Workshops (ICSTW), 2010 Third International Conference on. :240-246.
2007. Using multiresolution learning for transfer in image classification. Proceedings of the 22nd national conference on Artificial intelligence - Volume 2. :1852-1853.
1993. Vacuum-logic. Proceedings of AAAI 1993 Fall Symposium Series: Instantiating Real-World Agents. :51-54.
1983. Variational Iterative Methods for Nonsymmetric Systems of Linear Equations. SIAM Journal on Numerical Analysis. 20(2):345-357.
1983. Variational Iterative Methods for Nonsymmetric Systems of Linear Equations. SIAM Journal on Numerical Analysis. 20(2):345-357.
1996. Verification of an active control system using temporal process algebra. Engineering with computers. 12(1):46-61.
1994. Verifying an intelligent structural control system: a case study. Real-Time Systems Symposium, 1994., Proceedings.. :271-275.
2018. Virulence-Related Genes Identified from the Genome Sequence of the Non-O1/Non-O139 Vibrio cholerae Strain VcN1, Isolated from Dhaka, Bangladesh. Genome Announcements. (10)
2000. Visualization 2000.
2005. Visualizing missing data: classification and empirical study. Proceedings of INTERACT. :861-872.
2011. Visualizing Missing Data: Graph Interpretation User Study. IFIP Lecture Notes in Computer Science (LNCS). 3585(3585):861-872.
2005. Visualizing Missing Data: Graph Interpretation User Study. Human-Computer Interaction - INTERACT 2005. 3585:861-872.
2005. The web in theoretical linguistics research: Two case studies using the Linguist’s Search Engine. 31st Meeting of the Berkeley Linguistics Society. :265-276.
2005. What Are the Ants Doing? Vision-Based Tracking and Reconstruction of Control Programs Proceedings of the 2005 IEEE International Conference on Robotics and Automation, 2005. ICRA 2005. :4182-4187.
2011. Windowed Spectral Regularization of Inverse Problems. SIAM Journal on Scientific Computing. 33(6)