Prof. Henry Kautz
Department of Computer Science
University of Rochester
![]() |
Machine Learning in HealthcareHEWMental Health Evaluation using Web data TwitterhealthExtracting health signals from geotagged Twitter data Assisted CognitionAI and Pervasive Computing systems for prompting, reminding, and wayfinding |
![]() |
Understanding Human MobilityMobility MapUnderstanding human mobility at global scale LoCATE
|
![]() |
Natural Language Processing
|
![]() |
Principles of Efficient InferenceSRLTheory and Applications of Statistical Relational Learning SchemaA Tool for SAT Encoding CachetWeighted model counting WalksatRandomized local search for satisfiability testing SATPLANSolving hard planning problems by translation to Boolean satisfiability |
Back to my home page.