Publications
Export 7148 results:
[ Author] Title Type Year Filters: Efficient-model-checking-buchi-tableau-automata%E2%8B%86 is [Clear All Filters]
2006. Silhouette-Based Approaches. Human Identification Based on GaitHuman Identification Based on Gait. :45-105.
2006. Model-Based Approaches. Human Identification Based on GaitHuman Identification Based on Gait. :107-133.
2006. Future Challenges. Human Identification Based on GaitHuman Identification Based on Gait. :151-170.
1991. Fully deadline-coupled planning: One step at a time. Methodologies for Intelligent Systems. :589-599.
1992. Partial evaluation of high-level imperative programming languages with applications in hard real-time systems. Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages. :269-280.
1993. Situated reasoning within tight deadlines and realistic space and computation bounds. Proc. Common Sense. 93
1997. How to (plan to) meet a deadline between now and then. Journal of Logic and Computation. 7(1):109-109.
2012. Collecting Semantic Similarity Ratings to Connect Concepts in Assistive Communication Tools. Modeling, Learning, and Processing of Text Technological Data StructuresModeling, Learning, and Processing of Text Technological Data Structures. 370:81-93.
2009. Better vocabularies for assistive communication aids: connecting terms using semantic networks and untrained annotators. Proceedings of the 11th international ACM SIGACCESS conference on Computers and accessibility. :171-178.
2009. The design of ViVA: a mixed-initiative visual vocabulary for aphasia. Proceedings of the 27th international conference extended abstracts on Human factors in computing systems. :4015-4020.
2010. Evaluation of state-of-the-art algorithms for remote face recognition. Image Processing (ICIP), 2010 17th IEEE International Conference on. :1581-1584.
2011. Example-Driven Manifold Priors for Image Deconvolution. Image Processing, IEEE Transactions on. 20(11):3086-3096.
2010. Object Dependent Manifold Priors for Image Deconvolution. Digital Image Processing and Analysis. :DMC2-DMC2.
2013. Dirichlet Mixtures, the Dirichlet Process, and the Structure of Protein Space. Journal of Computational Biology. 20 cmb%2E2012%2E0244.pdf (292.43 KB)
2011. Tracking and Identification via Object Reflectance Using a Hyperspectral Video Camera. Machine Vision Beyond Visible SpectrumMachine Vision Beyond Visible Spectrum. 1:201-219.
2010. Tracking via object reflectance using a hyperspectral video camera. 2010 IEEE Computer Society Conference on Computer Vision and Pattern Recognition Workshops (CVPRW). :44-51.
2013. Modeling topic control to detect influence in conversations using nonparametric topic models. Machine Learning. :1-41.
2012. SITS: A Hierarchical Nonparametric Model using Speaker Identity for Topic Segmentation in Multiparty Conversations. Association for Computational Linguistics.