Publications
Export 7151 results:
Author [ Title] Type Year Filters: Efficient-model-checking-buchi-tableau-automata%E2%8B%86 is [Clear All Filters]
2002. Extraction of Critical Nets Based on a Discrete Gradient Vector Field. Proceedings of Eurographics.
2002. An extraction-based verification methodology for MEMS. Microelectromechanical Systems, Journal of. 11(1):2-11.
2009. Extreme polymorphism in a vaccine antigen and risk of clinical malaria: implications for vaccine development. Sci Transl Med. 1(2):2ra5-2ra5.
2008. Extreme visualization: squeezing a billion records into a million pixels. SIGMOD Conference. :3-12.
2008. Exurbia from the bottom-up: Confronting empirical challenges to characterizing a complex system. Geoforum. 39(2):805-818.
2003. Eye design in the plenoptic space of light rays. Ninth IEEE International Conference on Computer Vision, 2003. Proceedings. :1160-1167vol.2-1160-1167vol.2.
2006. Eye of the Beholder: Phone-Based Text-Recognition for the Visually-Impaired. 2006 10th IEEE International Symposium on Wearable Computers. :145-146.
2002. Eye tracking using active deformable models. Proc. of the IIIrd Indian Conference on Computer Vision, Graphics and Image Processing.
2002. Eyes form eyes: New cameras for structure from motion. Proceedings Workshop on Omnidirectional Vision (OMNIVIS).
2001. Eyes from Eyes. 3D Structure from Images — SMILE 20003D Structure from Images — SMILE 2000. 2018:204-217.
2002. Eyes from eyes: new cameras for structure from motion. Third Workshop on Omnidirectional Vision, 2002. Proceedings. :19-26.
1996. The eyes have it: a task by data type taxonomy for information visualizations. , IEEE Symposium on Visual Languages, 1996. Proceedings. :336-343.
1998. The Eyes Have It: User Interfaces for Information Visualization. Information Visualization. 1452:1519-1519.
2008. Fable: A Language for Enforcing User-defined Security Policies. IEEE Symposium on Security and Privacy, 2008. SP 2008. :369-383.
2007. Face and Gesture Recognition-Appearance Characterization of Linear Lambertian Objects, Generalized Photometric Stereo, and Illumination-Invariant Face Recognition. IEEE Transactions on Pattern Analysis and Machine Intelligence. 29(2):230-245.
2012. Face Identification Using Large Feature Sets. Image Processing, IEEE Transactions on. 21(4):2245-2255.
2009. Face Recognition from Video. The Essential Guide to Video Processing (Second Edition)The Essential Guide to Video Processing (Second Edition). :653-688.
2002. Face recognition from video: a CONDENSATION approach. Automatic Face and Gesture Recognition, 2002. Proceedings. Fifth IEEE International Conference on. :221-226.
2005. Face recognition in the presence of multiple illumination sources. Computer Vision, 2005. ICCV 2005. Tenth IEEE International Conference on. 2:1169-1176Vol.2-1169-1176Vol.2.