Publications

Export 7151 results:
Author [ Title(Desc)] 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 
F
Rotman D, Vieweg S, Yardi S, Chi E, Preece J, Shneiderman B, Pirolli P, Glaisyer T.  2011.  From slacktivism to activism: participatory culture in the age of social media. Proceedings of the 2011 annual conference extended abstracts on Human factors in computing systems. :819-822.
Dorr BJ, Garman J, Weinberg A.  1994.  From syntactic encodings to thematic roles: Building lexical entries for interlingual MT. Machine Translation. 9(3):221-250.
Colwell RR.  2003.  From terabytes to insights. Communications of the ACM. 46(7):25-27.
Turaga PK, Veeraraghavan A, Chellappa R.  2007.  From Videos to Verbs: Mining Videos for Activities using a Cascade of Dynamical Systems. Computer Vision and Pattern Recognition, 2007. CVPR '07. IEEE Conference on. :1-8.
Turaga PK, Veeraraghavan A, Chellappa R.  2008.  From Videos to Verbs: Mining Videos for Activities using a cascade of dynamical systems (Supplemental Material). Relation. 10(1.13):9944-9944.
Cleaveland R, Madelaine E, Sims S.  1995.  A front-end generator for verification tools. Tools and Algorithms for the Construction and Analysis of Systems. :153-173.
Daumé H.  2007.  Frustratingly easy domain adaptation. Annual meeting-association for computational linguistics. 45:256-256.
Colwell RR.  2002.  Fulfilling the promise of marine biotechnology. Marine biotechnology in the twenty-first century: problems, promise, and productsMarine biotechnology in the twenty-first century: problems, promise, and products. :39-39.
Rand W, Wilensky U.  2007.  Full Spectrum Modeling: From Simplicity to Elaboration and Realism in Urban Pattern Formation. North american association computational social and organization sciences conference (NAACSOS).
Yuen S, Cleaveland R, Dayar Z, Smolka S.  1994.  Fully abstract characterizations of testing preorders for probabilistic processes. CONCUR'94: Concurrency Theory. :497-512.
Nirkhe M, Kraus S, Perlis D.  1991.  Fully deadline-coupled planning: One step at a time. Methodologies for Intelligent Systems. :589-599.
Doermann D, Rosenfeld A, Rivlin E.  1997.  The Function of Documents. ICDAR. :1077-1081.
Doermann D, Rivlin E, Rosenfeld A.  1998.  The function of documents. Image and Vision Computing. 16(11):799-814.
Doermann D, Rivlin E, Rosenfeld A.  1996.  The Function of Documents. LAMP-TR-002,CFAR-TR-841,CS-TR-3697
Veeraraghavan A, Chellappa R, Roy-Chowdhury AK.  2006.  The Function Space of an Activity. Computer Vision and Pattern Recognition, 2006 IEEE Computer Society Conference on. 1:959-968.
Ross DA, Hannenhalli S, Tobias JW, Cooch N, Shiekhattar R, Kadesch T.  2006.  Functional Analysis of Hes-1 in Preadipocytes. Molecular EndocrinologyMolecular Endocrinology. 20(3):698-705.
Chang AE, Steinberg SM, Culnane M, Lampert MH, Reggia JA, Simpson CG, Hicks JE, White DE, Yang JJ, Glatstein E.  1989.  Functional and psychosocial effects of multimodality limb-sparing therapy in patients with soft tissue sarcomas. Journal of Clinical Oncology. 7(9):1217-1217.
Winder R, Cortes CR, Reggia JA, Tagamets MA.  2007.  Functional connectivity in fMRI: A modeling approach for estimation and for relating to local circuits. Neuroimage. 34(3):1093-1107.
Zelkowitz MV.  1990.  A functional correctness model of program verification. Computer. 23(11):30-39.
Singh LN, Hannenhalli S.  2008.  Functional Diversification of Paralogous Transcription Factors via Divergence in DNA Binding Site Motif and in Expression. PLoS ONEPLoS ONE. 3(6):e2345-e2345.
Porter A.  1997.  Fundamental laws and assumptions of software maintenance. Empirical Software Engineering. 2(2):119-131.
Samet H.  2007.  Fundamentals of Multidimensional and Metric data structure.
Nixon MS, Tan T, Chellappa R.  2006.  Further Gait Developments. Human Identification Based on GaitHuman Identification Based on Gait. :135-149.
Agrawal A, Chellappa R.  2005.  Fusing Depth and Video Using Rao-Blackwellized Particle Filter. Pattern Recognition and Machine IntelligencePattern Recognition and Machine Intelligence. 3776:521-526.
Kale A, Roy Chowdhury AK, Chellappa R.  2004.  Fusion of gait and face for human identification. Acoustics, Speech, and Signal Processing, 2004. Proceedings. (ICASSP '04). IEEE International Conference on. 5:V-901-4vol.5-V-901-4vol.5.

Pages