Publications
Export 7151 results:
Author Title [ Type] Year Filters: Efficient-model-checking-buchi-tableau-automata%E2%8B%86 is [Clear All Filters]
2004. Gait-based human identification from a monocular video sequence. Handbook on Pattern Recognition and Computer Vision.
2012. GAGE: A Critical Evaluation of Genome Assemblies and Assembly Algorithms. Genome Research. 22(3):557-567.
1989. Gabriel: A design environment for DSP. Acoustics, Speech and Signal Processing, IEEE Transactions on. 37(11):1751-1762.
2006. Fuzzy svm ensembles for relevance feedback in image retrieval. Image and Video Retrieval. :350-359.
2009. FutureRank: Ranking scientific articles by predicting their future PageRank. Proceedings of the 9th SIAM International Conference on Data Mining. :533-544.
1982. The future of interactive systems and the emergence of direct manipulation. Behaviour & Information Technology. 1(3):237-256.
2011. Future link prediction in the blogosphere for recommendation. Proceedings of the International Conference on Weblogs and Social Media (ICWSM).
1990. Future directions for human‐computer interaction. International Journal of Human-Computer Interaction. 2(1):73-90.
1997. Fundamental laws and assumptions of software maintenance. Empirical Software Engineering. 2(2):119-131.
2008. Functional Diversification of Paralogous Transcription Factors via Divergence in DNA Binding Site Motif and in Expression. PLoS ONEPLoS ONE. 3(6):e2345-e2345.
2007. Functional connectivity in fMRI: A modeling approach for estimation and for relating to local circuits. Neuroimage. 34(3):1093-1107.
1989. Functional and psychosocial effects of multimodality limb-sparing therapy in patients with soft tissue sarcomas. Journal of Clinical Oncology. 7(9):1217-1217.
2006. Functional Analysis of Hes-1 in Preadipocytes. Molecular EndocrinologyMolecular Endocrinology. 20(3):698-705.
1991. Fully deadline-coupled planning: One step at a time. Methodologies for Intelligent Systems. :589-599.
1994. Fully abstract characterizations of testing preorders for probabilistic processes. CONCUR'94: Concurrency Theory. :497-512.
2007. Full Spectrum Modeling: From Simplicity to Elaboration and Realism in Urban Pattern Formation. North american association computational social and organization sciences conference (NAACSOS).
1995. A front-end generator for verification tools. Tools and Algorithms for the Construction and Analysis of Systems. :153-173.
2008. From Videos to Verbs: Mining Videos for Activities using a cascade of dynamical systems (Supplemental Material). Relation. 10(1.13):9944-9944.
1994. From syntactic encodings to thematic roles: Building lexical entries for interlingual MT. Machine Translation. 9(3):221-250.
2006. From sample similarity to ensemble similarity: probabilistic distance measures in reproducing kernel Hilbert space. Pattern Analysis and Machine Intelligence, IEEE Transactions on. 28(6):917-929.