default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDHenry A. Kautz
Person information
- affiliation: University of Rochester, New York, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2022
[j31]Henry A. Kautz:
The Third AI Summer: AAAI Robert S. Engelmore Memorial Lecture. AI Mag. 43(1): 93-104 (2022)- 2021
- [c128]Samuel Lerman, Charles Venuto, Henry A. Kautz, Chenliang Xu:
Explaining Local, Global, And Higher-Order Interactions In Deep Learning. ICCV 2021: 1204-1213 - [c127]Anis Zaman, Boyu Zhang, Vincent Silenzio, Henry A. Kautz, Ehsan Hoque:
Individual-level Anxiety Detection and Prediction from Longitudinal YouTube and Google Search Engagement Logs. ICWSM Workshops 2021 - [p3]Henry A. Kautz, Ashish Sabharwal, Bart Selman:
Incomplete Algorithms. Handbook of Satisfiability 2021: 213-232 - 2020
- [c126]Brian Dickinson, Gourab Ghoshal, Xerxes Dotiwalla, Adam Sadilek, Henry A. Kautz:
Inferring Nighttime Satellite Imagery from Human Mobility. AAAI 2020: 394-402 - [c125]Nabil Hossain, John Krumm, Tanvir Sajed, Henry A. Kautz:
Stimulating Creativity with FunLines: A Case Study of Humor Generation in Headlines. ACL (demo) 2020: 256-262 - [c124]Nabil Hossain, Minh Tran, Henry A. Kautz:
A Framework for Political Portmanteau Decomposition. ICWSM 2020: 944-948 - [c123]Anis Zaman, Vincent Silenzio, Henry A. Kautz:
MIND: A Tool for Mental Health Screening and Support of Therapy to Improve Clinical and Research Outcomes. PervasiveHealth 2020: 423-426 - [c122]Nabil Hossain, John Krumm, Michael Gamon, Henry A. Kautz:
SemEval-2020 Task 7: Assessing Humor in Edited News Headlines. SemEval@COLING 2020: 746-758 - [i20]Nabil Hossain, John Krumm, Tanvir Sajed, Henry A. Kautz:
Stimulating Creativity with FunLines: A Case Study of Humor Generation in Headlines. CoRR abs/2002.02031 (2020) - [i19]Brian Dickinson, Gourab Ghoshal, Xerxes Dotiwalla, Adam Sadilek, Henry A. Kautz:
Inferring Nighttime Satellite Imagery from Human Mobility. CoRR abs/2003.07691 (2020) - [i18]Samuel Lerman, Chenliang Xu, Charles Venuto, Henry A. Kautz:
Explaining Local, Global, And Higher-Order Interactions In Deep Learning. CoRR abs/2006.08601 (2020) - [i17]Anis Zaman, Boyu Zhang, Vincent Silenzio, Ehsan Hoque, Henry A. Kautz:
Estimating Anxiety based on individual level engagements on YouTube & Google Search Engine. CoRR abs/2007.00613 (2020) - [i16]Nabil Hossain, John Krumm, Michael Gamon, Henry A. Kautz:
SemEval-2020 Task 7: Assessing Humor in Edited News Headlines. CoRR abs/2008.00304 (2020) - [i15]Anis Zaman, Boyu Zhang, Ehsan Hoque, Vincent Silenzio, Henry A. Kautz:
The Relationship between Deteriorating Mental Health Conditions and Longitudinal Behavioral Changes in Google and YouTube Usages among College Students in the United States during COVID-19: Observational Study. CoRR abs/2009.09076 (2020) - [i14]Boyu Zhang, Anis Zaman, Rupam Acharyya, Ehsan Hoque, Vincent Silenzio, Henry A. Kautz:
Detecting Individuals with Depressive Disorder fromPersonal Google Search and YouTube History Logs. CoRR abs/2010.15670 (2020)
2010 – 2019
- 2019
- [c121]Jesse Wang, Henry A. Kautz:
CupQ: A New Clinical Literature Search Engine. KDIR 2019: 225-232 - [c120]Anis Zaman, Rupam Acharyya, Henry A. Kautz
, Vincent Silenzio:
Detecting Low Self-Esteem in Youths from Web Search Data. WWW 2019: 2270-2280 - [i13]Jesse Wang, Henry A. Kautz:
CupQ: A New Clinical Literature Search Engine. CoRR abs/1907.06697 (2019) - 2018
- [c119]Nabil Hossain, Thanh Thuy Trang Tran, Henry A. Kautz:
Discovering Political Slang in Readers' Comments. ICWSM 2018: 612-615 - [c118]Ann Marie White, Linxiao Bai, Christopher Homan, Melanie Funchess, Catherine Cerulli, Amen Ptah, Deepak Pandita, Henry A. Kautz:
Does Reciprocal Gratefulness in Twitter Predict Neighborhood Safety?: Comparing 911 Calls Where Users Reside or Use Social Media. ICWSM 2018: 700-703 - [i12]Samuel J. Weisenthal, Caroline M. Quill, Samir A. Farooq, Henry A. Kautz, Martin S. Zand:
Predicting Acute Kidney Injury at Hospital Re-entry Using High-dimensional Electronic Health Record Data. CoRR abs/1807.09865 (2018) - [i11]Rijul Magu, Nabil Hossain, Henry A. Kautz:
Analyzing Uncivil Speech Provocation and Implicit Topics in Online Political News. CoRR abs/1807.10882 (2018) - 2017
- [j30]Adam Sadilek, Henry A. Kautz, Lauren DiPrete, Brian Labus, Eric Portman, Jack Teitel, Vincent Silenzio:
Deploying nEmesis: Preventing Foodborne Illness by Data Mining Social Media. AI Mag. 38(1): 37-48 (2017) - [j29]Tianran Hu, Eric Bigelow, Jiebo Luo, Henry A. Kautz:
Tales of Two Cities: Using Social Media to Understand Idiosyncratic Lifestyles in Distinctive Metropolitan Areas. IEEE Trans. Big Data 3(1): 55-66 (2017) - [c117]Timothy Kopp, Parag Singla, Henry A. Kautz:
Conditional Term Equivalent Symmetry Breaking for SAT. AAAI Workshops 2017 - [c116]Nabil Hossain, John Krumm, Lucy Vanderwende, Eric Horvitz, Henry A. Kautz:
Filling the Blanks (hint: plural noun) for Mad Libs Humor. EMNLP 2017: 638-647 - [c115]Anis Zaman, Nabil Hossain, Henry A. Kautz:
Twitter911: A Cautionary Tale. ICWSM 2017: 712-715 - [i10]Tianran Hu, Eric Bigelow, Jiebo Luo, Henry A. Kautz:
Tales of Two Cities: Using Social Media to Understand Idiosyncratic Lifestyles in Distinctive Metropolitan Areas. CoRR abs/1701.06236 (2017) - 2016
- [j28]Henry A. Kautz, Parag Singla:
Technical Perspective: Combining logic and probability. Commun. ACM 59(7): 106 (2016) - [j27]Tianran Hu, Jiebo Luo, Henry A. Kautz, Adam Sadilek:
Home location inference from sparse and noisy data: models and applications. Frontiers Inf. Technol. Electron. Eng. 17(5): 389-402 (2016) - [c114]Timothy Kopp, Parag Singla, Henry A. Kautz:
Toward Caching Symmetrical Subtheories for Weighted Model Counting. AAAI Workshop: Beyond NP 2016 - [c113]Adam Sadilek, Henry A. Kautz, Lauren DiPrete, Brian Labus, Eric Portman, Jack Teitel, Vincent Silenzio:
Deploying nEmesis: Preventing Foodborne Illness by Data Mining Social Media. AAAI 2016: 3982-3990 - [c112]Tong Liu, Christopher Homan, Cecilia Ovesdotter Alm, Megan C. Lytle, Ann Marie White, Henry A. Kautz:
Understanding Discourse on Work and Job-Related Well-Being in Public Social Media. ACL (1) 2016 - [c111]Iftekhar Naim, Abdullah Al Mamun, Young Chol Song, Jiebo Luo, Henry A. Kautz, Daniel Gildea:
Aligning movies with scripts by exploiting temporal ordering constraints. ICPR 2016: 1786-1791 - [c110]Nabil Hossain, Tianran Hu, Roghayeh Feizi, Ann Marie White, Jiebo Luo, Henry A. Kautz:
Precise Localization of Homes and Activities: Detecting Drinking-While-Tweeting Patterns in Communities. ICWSM 2016: 587-590 - [c109]Young Chol Song, Iftekhar Naim, Abdullah Al Mamun, Kaustubh Kulkarni, Parag Singla, Jiebo Luo, Daniel Gildea, Henry A. Kautz:
Unsupervised Alignment of Actions in Video with Text Descriptions. IJCAI 2016: 2025-2031 - [i9]Nabil Hossain, Tianran Hu, Roghayeh Feizi, Ann Marie White, Jiebo Luo, Henry A. Kautz:
Inferring Fine-grained Details on User Activities and Home Location from Social Media: Detecting Drinking-While-Tweeting Patterns in Communities. CoRR abs/1603.03181 (2016) - 2015
- [c108]Dawei Zhou, Jiebo Luo, Vincent M. B. Silenzio, Yun Zhou, Jile Hu, Glenn Currier, Henry A. Kautz:
Tackling Mental Health by Integrating Unobtrusive Multimodal Sensing. AAAI 2015: 1401-1409 - [c107]Ran Pang, Agustin Baretto, Henry A. Kautz, Jiebo Luo:
Monitoring adolescent alcohol use via multimodal analysis in social multimedia. IEEE BigData 2015: 1509-1518 - [c106]Solomon O. Abiola, Eric Portman, Henry A. Kautz, Earl Ray Dorsey:
Node view: a mHealth real-time infectious disease interface disease interface - 2014 ebola outbreak case study. UbiComp/ISWC Adjunct 2015: 297-300 - [c105]Tianran Hu, Jiebo Luo, Henry A. Kautz, Adam Sadilek:
Home Location Inference from Sparse and Noisy Data: Models and Applications. ICDM Workshops 2015: 1382-1387 - [c104]Danning Zheng, Tianran Hu, Quanzeng You, Henry A. Kautz, Jiebo Luo:
Towards Lifestyle Understanding: Predicting Home and Vacation Locations from User's Online Photo Collections. ICWSM 2015: 553-561 - [c103]Iftekhar Naim, Young Chol Song, Qiguang Liu, Liang Huang, Henry A. Kautz, Jiebo Luo, Daniel Gildea:
Discriminative Unsupervised Alignment of Natural Language Instructions with Corresponding Video Segments. HLT-NAACL 2015: 164-174 - [c102]Timothy Kopp, Parag Singla, Henry A. Kautz:
Lifted Symmetry Detection and Breaking for MAP Inference. NIPS 2015: 1315-1323 - [i8]Tong Liu, Christopher M. Homan, Cecilia Ovesdotter Alm, Ann Marie White, Megan C. Lytle-Flint, Henry A. Kautz:
Job-related discourse on social media. CoRR abs/1511.04805 (2015) - 2014
- [c101]Iftekhar Naim, Young Chol Song, Qiguang Liu, Henry A. Kautz, Jiebo Luo, Daniel Gildea:
Unsupervised Alignment of Natural Language Instructions with Video Segments. AAAI 2014: 1558-1564 - [c100]Danning Zheng, Tianran Hu, Quanzeng You, Henry A. Kautz, Jiebo Luo:
Inferring Home Location from User's Photo Collections based on Visual Content and Mobility Patterns. GeoMM 2014: 21-26 - [i7]Adam Sadilek, Henry A. Kautz:
Location-Based Reasoning about Complex Multi-Agent Behavior. CoRR abs/1401.4593 (2014) - 2013
- [c99]Tivadar Papai, Henry A. Kautz:
Modal Markov Logic for Multiple Agents. StarAI@AAAI 2013 - [c98]Young Chol Song, Henry A. Kautz, Yuncheng Li, Jiebo Luo:
A General Framework for Recognizing Complex Events in Markov Logic. StarAI@AAAI 2013 - [c97]Young Chol Song, Henry A. Kautz, Yuncheng Li, Jiebo Luo:
A General Framework for Recognizing Complex Events in Markov Logic. AAAI Workshop: Plan, Activity, and Intent Recognition 2013 - [c96]Walter S. Lasecki, Young Chol Song, Henry A. Kautz, Jeffrey P. Bigham:
Real-time crowd labeling for deployable activity recognition. CSCW 2013: 1203-1212 - [c95]Adam Sadilek, Sean Brennan, Henry A. Kautz, Vincent Silenzio:
nEmesis: Which Restaurants Should You Avoid Today? HCOMP 2013: 138-146 - [c94]Young Chol Song, Henry A. Kautz, James F. Allen, Mary D. Swift, Yuncheng Li, Jiebo Luo, Ce Zhang:
A Markov logic framework for recognizing complex events from multimodal data. ICMI 2013: 141-148 - [c93]Sean Brennan, Adam Sadilek, Henry A. Kautz:
Towards Understanding Global Spread of Disease from Everyday Interpersonal Interactions. IJCAI 2013: 2783-2789 - [c92]Adam Sadilek, Henry A. Kautz:
Modeling The Interplay of People's Location, Interactions, and Social Ties. IJCAI 2013: 3067-3071 - [c91]Tivadar Papai, Henry A. Kautz, Daniel Stefankovic:
Reasoning Under the Principle of Maximum Entropy for Modal Logics K45, KD45, and S5. TARK 2013 - [c90]Adam Sadilek, Henry A. Kautz:
Modeling the impact of lifestyle on health at scale. WSDM 2013: 637-646 - [i6]Eric Horvitz, Yongshao Ruan, Carla P. Gomes, Henry A. Kautz, Bart Selman, David Maxwell Chickering:
A Bayesian Approach to Tackling Hard Computational Problems. CoRR abs/1301.2279 (2013) - [i5]Tivadar Papai, Henry A. Kautz, Daniel Stefankovic:
Reasoning Under the Principle of Maximum Entropy for Modal Logics K45, KD45, and S5. CoRR abs/1310.6439 (2013) - 2012
- [j26]Adam Sadilek, Henry A. Kautz:
Location-Based Reasoning about Complex Multi-Agent Behavior. J. Artif. Intell. Res. 43: 87-133 (2012) - [j25]Yi Chu, Young Chol Song, Richard Levinson, Henry A. Kautz:
Interactive activity recognition and prompting to assist people with cognitive disabilities. J. Ambient Intell. Smart Environ. 4(5): 443-459 (2012) - [c89]Adam Sadilek, Henry A. Kautz, Vincent Silenzio:
Predicting Disease Transmission from Geo-Tagged Micro-Blog Data. AAAI 2012: 136-142 - [c88]Young Chol Song, Henry A. Kautz:
A Testbed for Learning by Demonstration from Natural Language and RGB-Depth Video. AAAI 2012: 2457-2458 - [c87]Adam Sadilek, Henry A. Kautz, Vincent Silenzio:
Modeling Spread of Disease from Social Interactions. ICWSM 2012 - [c86]Tivadar Papai, Henry A. Kautz, Daniel Stefankovic:
Slice Normalized Dynamic Markov Logic Networks. NIPS 2012: 1916-1924 - [c85]Tivadar Papai, Shalini Ghosh, Henry A. Kautz:
Combining Subjective Probabilities and Data in Training Markov Logic Networks. ECML/PKDD (1) 2012: 90-105 - [c84]Tivadar Papai, Henry A. Kautz, Daniel Stefankovic:
Slice Normalized Dynamic Markov Logic Networks. StarAI@UAI 2012 - [c83]Adam Sadilek, Henry A. Kautz, Jeffrey P. Bigham:
Finding your friends and following them to where you are. WSDM 2012: 723-732 - [p2]Adam Sadilek, Henry A. Kautz:
Modeling Success, Failure, and Intent of Multi-Agent Activities Under Severe Noise. Mobile Context Awareness 2012: 9-63 - 2011
- [c82]Yi Chu, Young Chol Song, Henry A. Kautz, Richard Levinson:
When Did You Start Doing that Thing that You Do? Interactive Activity Recognition and Prompting. Artificial Intelligence and Smarter Living 2011 - [c81]Tivadar Papai, Parag Singla, Henry A. Kautz:
Constraint Propagation for Efficient Inference in Markov Logic. CP 2011: 691-705 - [i4]Paul Beame, Henry A. Kautz, Ashish Sabharwal:
Towards Understanding and Harnessing the Potential of Clause Learning. CoRR abs/1107.0044 (2011) - [i3]Robert P. Goldman, Christopher W. Geib, Henry A. Kautz, Tamim Asfour:
Plan Recognition (Dagstuhl Seminar 11141). Dagstuhl Reports 1(4): 1-22 (2011) - 2010
- [j24]Martha E. Pollack, Henry A. Kautz:
AAAI Leadership Transition. AI Mag. 31(2): 7-8 (2010) - [j23]Eric Horvitz, Lise Getoor, Carlos Guestrin, James A. Hendler, Joseph A. Konstan, Devika Subramanian, Michael P. Wellman, Henry A. Kautz:
AI Theory and Practice: A Discussion on Hard Challenges and Opportunities Ahead. AI Mag. 31(3): 103-114 (2010) - [c80]Adam Sadilek, Henry A. Kautz:
Recognizing Multi-Agent Activities from GPS Data. AAAI 2010: 1134-1139 - [e4]Ronen I. Brafman, Hector Geffner, Jörg Hoffmann, Henry A. Kautz:
Proceedings of the 20th International Conference on Automated Planning and Scheduling, ICAPS 2010, Toronto, Ontario, Canada, May 12-16, 2010. AAAI 2010 [contents] - [e3]Henry A. Kautz, Kristian Kersting, Sriraam Natarajan, David Poole:
2nd International Workshop on Statistical Relational AI (StaRAI-12), held at the Uncertainty in Artificial Intelligence Conference (UAI 2012), Catalina Island, CA, USA, August 18, 2012. 2010 [contents]
2000 – 2009
- 2009
- [j22]Liangliang Cao, Jiebo Luo, Henry A. Kautz, Thomas S. Huang:
Image Annotation Within the Context of Personal Photo Collections Using Hierarchical Event and Scene Models. IEEE Trans. Multim. 11(2): 208-219 (2009) - [c79]Tanzeem Choudhury, Ashish Kapoor, Henry A. Kautz:
Organizing Committee. AAAI Spring Symposium: Human Behavior Modeling 2009 - [c78]Alan L. Liu, Harlan Hile, Gaetano Borriello, Pat A. Brown, Mark Harniss, Henry A. Kautz, Kurt Johnson:
Customizing directions in an automated wayfinding system for individuals with cognitive impairment. ASSETS 2009: 27-34 - [c77]Ross Messing, Christopher J. Pal, Henry A. Kautz:
Activity recognition using the velocity histories of tracked keypoints. ICCV 2009: 104-111 - [c76]Alan L. Liu, Harlan Hile, Gaetano Borriello, Henry A. Kautz, Pat A. Brown, Mark Harniss, Kurt Johnson:
Informing the design of an automated wayfinding system for individuals with cognitive impairments. PervasiveHealth 2009: 1-8 - [p1]Henry A. Kautz, Ashish Sabharwal, Bart Selman:
Incomplete Algorithms. Handbook of Satisfiability 2009: 185-203 - 2008
- [c75]Joseph Modayil, Richard Levinson, Craig Harman, David Halper, Henry A. Kautz:
Integrating Sensing and Cueing for More Effective Activity Reminders. AAAI Fall Symposium: AI in Eldercare: New Solutions to Old Problems 2008: 60-66 - [c74]Sangho Park, Henry A. Kautz:
Privacy-Preserving Recognition of Activities in Daily Living from Multi-view Silhouettes and RFID-based Training. AAAI Fall Symposium: AI in Eldercare: New Solutions to Old Problems 2008: 70-77 - [c73]Liangliang Cao, Jiebo Luo, Henry A. Kautz, Thomas S. Huang:
Annotating collections of photos using hierarchical event and scene models. CVPR 2008 - [c72]Parag Singla, Henry A. Kautz, Jiebo Luo, Andrew C. Gallagher:
Discovery of social relationships in consumer photo collections using Markov Logic. CVPR Workshops 2008: 1-7 - [c71]Joseph Modayil, Tongxin Bai, Henry A. Kautz:
Improving the recognition of interleaved activities. UbiComp 2008: 40-43 - [c70]Junsong Yuan, Jiebo Luo, Henry A. Kautz, Ying Wu:
Mining GPS traces and visual words for event classification. Multimedia Information Retrieval 2008: 2-9 - [r1]Carla P. Gomes, Henry A. Kautz, Ashish Sabharwal, Bart Selman:
Satisfiability Solvers. Handbook of Knowledge Representation 2008: 89-134 - 2007
- [j21]Lin Liao, Donald J. Patterson, Dieter Fox, Henry A. Kautz:
Learning and inferring transportation routines. Artif. Intell. 171(5-6): 311-331 (2007) - [j20]Henry A. Kautz, Bart Selman:
The state of SAT. Discret. Appl. Math. 155(12): 1514-1524 (2007) - [j19]Lin Liao, Dieter Fox, Henry A. Kautz:
Extracting Places and Activities from GPS Traces Using Hierarchical Conditional Random Fields. Int. J. Robotics Res. 26(1): 119-134 (2007) - [c69]William Pentney, Matthai Philipose, Jeff A. Bilmes, Henry A. Kautz:
Learning Large Scale Common Sense Models of Everyday Life. AAAI 2007: 465-470 - [c68]Danny Wyatt, Tanzeem Choudhury, Henry A. Kautz:
Capturing Spontaneous Conversation and Social Dynamics: A Privacy-Sensitive Data Collection Effort. ICASSP (4) 2007: 213-216 - [c67]Tian Sang, Paul Beame, Henry A. Kautz:
A Dynamic Approach for MPE and Weighted MAX-SAT. IJCAI 2007: 173-179 - [c66]Danny Wyatt, Tanzeem Choudhury, Jeff A. Bilmes, Henry A. Kautz:
A Privacy-Sensitive Approach to Modeling Multi-Person Conversations. IJCAI 2007: 1769-1775 - [c65]Jörg Hoffmann, Carla P. Gomes, Bart Selman, Henry A. Kautz:
SAT Encodings of State-Space Reachability Problems in Numeric Domains. IJCAI 2007: 1918-1923 - [c64]Lin Liao, Tanzeem Choudhury, Dieter Fox, Henry A. Kautz:
Training Conditional Random Fields Using Virtual Evidence Boosting. IJCAI 2007: 2530-2535 - 2006
- [c63]William Pentney, Ana-Maria Popescu, Shiaokai Wang, Henry A. Kautz, Matthai Philipose:
Sensor-Based Understanding of Daily Life via Large-Scale Use of Common Sense. AAAI 2006: 906-912 - [c62]Henry A. Kautz:
Deconstructing Planning as Satisfiability. AAAI 2006: 1524-1526 - [c61]Alan L. Liu, Harlan Hile, Henry A. Kautz, Gaetano Borriello, Pat A. Brown, Mark Harniss, Kurt Johnson:
Indoor wayfinding: : developing a functional interface for individuals with cognitive impairments. ASSETS 2006: 95-102 - [c60]Alan L. Liu, Harlan Hile, Gaetano Borriello, Henry A. Kautz, Brian Ferris, Pat A. Brown, Mark Harniss, Kurt Johnson:
Implications for Location Systems in Indoor Wayfinding for Individuals with Cognitive Impairments. PervasiveHealth 2006: 1-5 - [e2]Henry A. Kautz, Wolfgang Thomas, Moshe Y. Vardi:
Synthesis and Planning, 12.-17. June 2005. Dagstuhl Seminar Proceedings 05241, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006 [contents] - 2005
- [j18]Alexander Nareyek, Eugene C. Freuder, Robert Fourer, Enrico Giunchiglia, Robert P. Goldman, Henry A. Kautz, Jussi Rintanen, Austin Tate:
Constraints and AI Planning. IEEE Intell. Syst. 20(2): 62-72 (2005) - [c59]Tian Sang, Paul Beame, Henry A. Kautz:
Performing Bayesian Inference by Weighted Model Counting. AAAI 2005: 475-482 - [c58]Karthik Gopalratnam, Henry A. Kautz, Daniel S. Weld:
Extending Continuous Time Bayesian Networks. AAAI 2005: 981-986 - [c57]Lin Liao, Dieter Fox, Henry A. Kautz:
Location-Based Activity Recognition using Relational Markov Networks. IJCAI 2005: 773-778 - [c56]Lin Liao, Dieter Fox, Henry A. Kautz:
Hierarchical Conditional Random Fields for GPS-Based Activity Recognition. ISRR 2005: 487-506 - [c55]Donald J. Patterson, Dieter Fox, Henry A. Kautz, Matthai Philipose:
Fine-Grained Activity Recognition by Aggregating Abstract Object Usage. ISWC 2005: 44-51 - [c54]Lin Liao, Dieter Fox, Henry A. Kautz:
Location-based activity recognition. NIPS 2005: 787-794 - [c53]Tian Sang, Paul Beame, Henry A. Kautz:
Heuristics for Fast Exact Model Counting. SAT 2005: 226-240 - [i2]Henry A. Kautz, Wolfgang Thomas, Moshe Y. Vardi:
05241 Executive Summary - Synthesis and Planning. Synthesis and Planning 2005 - [i1]Henry A. Kautz, Wolfgang Thomas, Moshe Y. Vardi:
05241 Abstracts Collection - Synthesis and Planning. Synthesis and Planning 2005 - 2004
- [j17]Paul Beame, Henry A. Kautz,