Conference Papers
(Publications are listed alphabetically by title)
Pages
Term selection for searching printed Arabic. In: Proceedings of the 25th annual international ACM SIGIR conference on Research and development in information retrieval. New York, NY, USA: ACM; 2002. 2. p. 261-268p. (SIGIR '02).
Test case generator for GUITAR. In: Companion of the 30th international conference on Software engineering. New York, NY, USA: ACM; 2008. 9. p. 959-960p. (ICSE Companion '08).
Test suite prioritization by interaction coverage. In: Workshop on Domain specific approaches to software test automation: in conjunction with the 6th ESEC/FSE joint meeting. New York, NY, USA: ACM; 2007. 1. p. 1-7p. (DOSTA '07).
Testing equivalence as a bisimulation equivalence. In: Automatic Verification Methods for Finite State Systems.; 1990. 1. p. 11-23p.
Tests to the left of me, types to the right: how not to get stuck in the middle of a ruby execution. In: Proceedings for the 1st workshop on Script to Program Evolution. New York, NY, USA: ACM; 2009. 1. p. 14-16p. (STOP '09).
Text Enhancement in Digital Video. In: Proceedings of SPIE - Conference on Document Recognition and Retrieval VI.; 1999. 2. p. 2-9p.
Text enhancement in digital video using multiple frame integration. In: Proceedings of the seventh ACM international conference on Multimedia (Part 1). New York, NY, USA: ACM; 1999. 1. p. 19-22p. (MULTIMEDIA '99).
Text Extraction and Recognition in Digital Video. In: Proceedings of Third IAPRWorkshop on Document Analysis Systems.; 1998. 1. p. 119-128p.
Text Identification in Noisy Document Images Using Markov Random Field. In: ICDAR.; 2003. 5. p. 599-603p.
Text Quality Estimation in Digital Video. In: SPIE Conf. on Document Recognition and Information Retrieval.; 2002. 2. p. 232-243p.
The alphaslider: a compact and rapid selector. In: Proceedings of the SIGCHI conference on Human factors in computing systems: celebrating interdependence. New York, NY, USA: ACM; 1994. 3. p. 365-371p. (CHI '94).
The analysis of a simple k-means clustering algorithm. In: Proceedings of the sixteenth annual symposium on Computational geometry. New York, NY, USA: ACM; 2000. 1. p. 100-109p. (SCG '00).
The block distributed memory model for shared memory multiprocessors. In: Parallel Processing Symposium, 1994. Proceedings., Eighth International.; 1994. 7. p. 752-756p.
The case for a multi-hop wireless local area network. In: INFOCOM 2004. Twenty-third AnnualJoint Conference of the IEEE Computer and Communications Societies. Vol 2.; 2004. 8. p. 894-905p. vol.p. 2-894p. - 905 vol.2.
The case for artificial intelligence in medicine. In: Computer Applications in Medical Care, 1983. Proceedings. The Seventh Annual Symposium on.; 1983. 4. p. 4-7p.
The case for separating routing from routers. In: Proceedings of the ACM SIGCOMM workshop on Future directions in network architecture. New York, NY, USA: ACM; 2004. 5. p. 5-12p. (FDNA '04).
The challenge of information visualization evaluation. In: Proceedings of the working conference on Advanced visual interfaces. New York, NY, USA: ACM; 2004. 1. p. 109-116p. (AVI '04).
The Challenge of Missing and Uncertain Data. In: Proceedings of the 14th IEEE Visualization 2003 (VIS'03). Washington, DC, USA: IEEE Computer Society; 2003. 1. p. 100-p. p. 100-p. (VIS '03).
The Concurrency Factory: A development environment for concurrent systems. In: Computer Aided Verification.; 1996. 3. p. 398-401p.
The concurrency workbench. In: Automatic Verification Methods for Finite State Systems.; 1990. 2. p. 24-37p.
The confounding of translation and rotation in reconstruction from multiple views. In: , 1997 IEEE Computer Society Conference on Computer Vision and Pattern Recognition, 1997. Proceedings. IEEE; 1997. 2. p. 250-256p.
The CPR model for summarizing video. In: Proceedings of the 1st ACM international workshop on Multimedia databases. New York, NY, USA: ACM; 2003. 2. p. 2-9p. (MMDB '03).
The Cubetree Storage Organization. In: VLDB.; 1998. 7. p. 700.
The defined cliffs variant in dynamic environments: a case study using the shaky ladder hyperplane-defined functions. In: Proceedings of the 9th annual conference on Genetic and evolutionary computation. New York, NY, USA: ACM; 2007. 1. p. 1158-1164p. (GECCO '07).
The Deployment of a Darknet on an Organization-Wide Network: An Empirical Analysis.; 2008. 5. p. 59-68p.
The design and evaluation of prototype eco-feedback displays for fixture-level water usage data. ACM; 2012. 2. p. 2367-2376p.
The design of eco-feedback technology. In: Proceedings of the 28th international conference on Human factors in computing systems. New York, NY, USA: ACM; 2010. 1. p. 1999-2008p. (CHI '10).
The design of history mechanisms and their use in collaborative educational simulations. In: Proceedings of the 1999 conference on Computer support for collaborative learning. International Society of the Learning Sciences; 1999. (CSCL '99).
The design of ViVA: a mixed-initiative visual vocabulary for aphasia. In: Proceedings of the 27th international conference extended abstracts on Human factors in computing systems. New York, NY, USA: ACM; 2009. 4. p. 4015-4020p. (CHI EA '09).
The Detection of Duplicates in Document Image Databases. In: ICDAR.; 1997. 3. p. 314-318p.
The Development of a General Framework for Intelligent Document Image Retrieval. In: Proceedings in the International Workshop on Document Analysis Systems.; 1996. 6. p. 605-632p.
The distributed information search component (disco) and the world wide web. In: Proc. of ACM SIGMOD Conf. on Management of Data.; 1997.
The Dynamic HomeFinder: Evaluating dynamic queries in a real-estate information exploration system. In: Proceedings of the 15th annual international ACM SIGIR conference on Research and development in information retrieval.; 1992. 3. p. 338-346p.
The Dynamics of Actor Loyalty to Groups in Affiliation Networks. In: Social Network Analysis and Mining, 2009. ASONAM '09. International Conference on Advances in.; 2009. 1. p. 101-106p.
The effect of bilingual term list size on dictionary-based cross-language information retrieval. In: Proceedings of the 36th Annual Hawaii International Conference on System Sciences, 2003. IEEE; 2003.
The effect of crossover on the behavior of the GA in dynamic environments: a case study using the shaky ladder hyperplane-defined functions. In: Proceedings of the 8th annual conference on Genetic and evolutionary computation. New York, NY, USA: ACM; 2006. 1. p. 1289-1296p. (GECCO '06).
The effect of packet loss on redundancy elimination in cellular wireless networks. In: Proceedings of the 10th annual conference on Internet measurement. New York, NY, USA: ACM; 2010. 2. p. 294-300p. (IMC '10).
The Engineering of an Environment on Small Machines. In: Proceedings of the IEEE 1st International Conference on Computer Workstations.; 1985. 6. p. 61-69p.
The evolution of stochastic grammars for representation and recognition of activities in videos. In: 2011 IEEE International Conference on Computer Vision Workshops (ICCV Workshops). IEEE; 2011. 6. p. 688.
The evolution of the international children's digital library searching and browsing interface. In: Proceedings of the 2006 conference on Interaction design and children.; 2006. 1. p. 105-112p.
The eyes have it: a task by data type taxonomy for information visualizations. In: , IEEE Symposium on Visual Languages, 1996. Proceedings. IEEE; 1996. 3. p. 336-343p.
The Function of Documents. In: ICDAR.; 1997. 1. p. 1077-1081p.
The Function Space of an Activity. In: Computer Vision and Pattern Recognition, 2006 IEEE Computer Society Conference on. Vol 1.; 2006. 9. p. 959-968p.
The half-edge tree: a compact data structure for level-of-detail tetrahedral meshes. In: Shape Modeling and Applications, 2005 International Conference.; 2005. 3. p. 332-337p.
The Hiero machine translation system: Extensions, evaluation, and analysis. In: Proceedings of the conference on Human Language Technology and Empirical Methods in Natural Language Processing.; 2005. 7. p. 779-786p.
The importance of lexicalized syntax models for natural language generation tasks. In: Proc. of INLG.; 2002. 9. p. 9-16p.
The influence of shape on image correspondence. In: 2nd International Symposium on 3D Data Processing, Visualization and Transmission, 2004. 3DPVT 2004. Proceedings. IEEE; 2004. 9. p. 945-952p.
The information in the direction of image flow. In: , International Symposium on Computer Vision, 1995. Proceedings. IEEE; 1995. 4. p. 461-466p.
The integrated CWB-NC/PIOAtool for functional verification and performance analysis of concurrent systems. In: Proceedings of the 9th international conference on Tools and algorithms for the construction and analysis of systems.; 2003. 4. p. 431-436p.
The integration of application and system based metrics in a parallel program performance tool. In: ACM Sigplan Notices. Vol 26.; 1991. 1. p. 189-200p.