Machine Learning in HealthcareMEWMental Health Evaluation using Web data nEmesisLocating sources of food-borne illness. 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 Sokoban VisualizerTool for generating solutions to Sokoban planning problems CachetWeighted model counting WalksatRandomized local search for satisfiability testing SATPLANSolving hard planning problems by translation to Boolean satisfiability |
Back to my home page.