Publications

Export 7148 results:
[ Author(Desc)] Title Type Year
Filters: Efficient-model-checking-buchi-tableau-automata%E2%8B%86 is   [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
G
Gupta A, Srinivasan P, Shi J, Davis LS.  2009.  Understanding videos, constructing plots learning a visually grounded storyline model from annotated videos. Computer Vision and Pattern Recognition, 2009. CVPR 2009. IEEE Conference on. :2012-2019.
Gupta SK, Nau DS.  1993.  Generation of alternative feature-based models and precedence orderings for machining applications. :465-466.
Gupta SK, Anand DK, Brough JE, Kavetsky RA, Schwartz M, Thakur A.  2008.  A Survey of the Virtual Environments-based Assembly Training Applications.
Gupta SK, Nau DS.  1993.  A Systematic Approach for Analyzing the Manufacturability of Machined Parts. ISR; TR 1993-76
Gupta SK, Nau DS, Zhang GM.  1992.  General of Machining Alternatives for Machinability Evaluation. ISR; TR 1992-106
Gupta A, Chen T, Chen F, Kimber D, Davis LS.  2008.  Context and observation driven latent variable model for human pose estimation. Computer Vision and Pattern Recognition, 2008. CVPR 2008. IEEE Conference on. :1-8.
Gupta SK, Saini SK, Spranklin BW, Yao Z.  2005.  Geometric algorithms for computing cutter engagement functions in 2.5D milling operations. Computer-Aided Design. 37(14):1469-1480.
Gupta H, Roy Chowdhury AK, Chellappa R.  2004.  Contour-based 3D Face Modeling from a Monocular Video. Proceedings of the British Machine Vision Conference. :39.1-39.10-39.1-39.10.
Gupta SK.  2002.  Estimating the Optimal Number of Alternatives to Be Explored in Large Design Spaces: A Step Towards Incorporating Decision Making.
Gupta SK, Nau DS, Zhang GM.  1993.  Interpreting Product Designs for Manufacturability Evaluation. ISR; TR 1993-45
Gupta AK, Fadel GM, Lewicki DG, Shabana AA, Royston TJ, Gupta SK, Hayes C, Herrmann JW, Dym CL, Schmidt LC.  2003.  19th Biennial Conference on Mechanical Vibration and Noise.
Gupta SK, Nau DS, Zhang G.  1993.  Concurrent evaluation of machinability during product design. Computer. 26(1):61-63.
Gupta A, Mittal A, Davis LS.  2007.  COST: An Approach for Camera Selection and Multi-Object Inference Ordering in Dynamic Scenes. Computer Vision, 2007. ICCV 2007. IEEE 11th International Conference on. :1-8.
Gupta A, Mittal A, Davis LS.  2006.  Constraint Integration for Multiview Pose Estimation of Humans with Self-Occlusions. 3D Data Processing, Visualization, and Transmission, Third International Symposium on. :900-907.
Gupta SK.  1999.  Sheet metal bending operation planning: using virtual node generation to improve search efficiency. Journal of manufacturing systems. 18(2):127-139.
Gupta SK, Nau DS, Regli WC.  1998.  IMACS: a case study in real-world planning. Intelligent Systems and their Applications, IEEE. 13(3):49-60.
Gupta SK, Regli WC, Das D, Nau DS.  1997.  Automated manufacturability analysis: A survey. Research in Engineering Design. 9(3):168-190.
Gupta SK, Regli WC, Nau DS.  1995.  Manufacturing feature instances: which ones to recognize? :141-152.
Gupta SK, Paredis CJJ, Sinha R.  2001.  Intelligent assembly modeling and simulation. Assembly Automation. 21(3):215-235.
Gupta A, Hajiaghayi MT, R\äcke H.  2006.  Oblivious network design. Proceedings of the seventeenth annual ACM-SIAM symposium on Discrete algorithm. :970-979.
Gupta A, Srinivasan A.  2003.  On the Covering Steiner Problem. FST TCS 2003: Foundations of Software Technology and Theoretical Computer ScienceFST TCS 2003: Foundations of Software Technology and Theoretical Computer Science. 2914:244-251.
Gupta H, Agrawala AK, Pruthi T, Shekhar C, Chellappa R.  2002.  An experimental evaluation of linear and kernel-based methods for face recognition. Applications of Computer Vision, 2002. (WACV 2002). Proceedings. Sixth IEEE Workshop on. :13-18.
Gurbanov S, Akhmadov R, Shamkhalova G, Akhmadova S, Haley BJ, Colwell RR, Huq A.  2011.  Occurrence of Vibrio cholerae in Municipal and Natural Waters and Incidence of Cholera in Azerbaijan. EcoHealth. (4):468-477.
Gurer D, desJardins M, Schlager M.  1995.  Representing a student’s learning states and transitions. American Association of Artificial Intelligence Spring Symposium on Representing Mental States and Mechanisms.
Gurevich Y, Stockmeyer L, Vishkin U.  1984.  Solving NP-hard problems on graphs that are almost trees and an application to facility location problems. Journal of the ACM (JACM). 31(3):459-473.

Pages