Human Activity Detection from RGBD Images Jaeyong Sung and Colin Ponce and Bart Selman and Ashutosh Saxena Department of Computer Science Cornell University, Ithaca, NY 14850 , {cponce,selman,asaxena}@cs

Source URL: pr.cs.cornell.edu

Unstructured Human Activity Detection from RGBD Images Jaeyong Sung, Colin Ponce, Bart Selman and Ashutosh Saxena Abstract— Being able to detect and recognize human activities is essential for several applications, inc

Source URL: pr.cs.cornell.edu

Synthesizing Manipulation Sequences for Under-Specified Tasks using Unrolled Markov Random Fields Jaeyong Sung, Bart Selman and Ashutosh Saxena Abstract— Many tasks in human environments require performing a sequence o

Source URL: pr.cs.cornell.edu

Learning Sequences of Controllers for Complex Manipulation Tasks Jaeyong Sung Bart Selman Ashutosh Saxena Department of Computer Science, Cornell University, Ithaca, NYUSA

Source URL: pr.cs.cornell.edu

EMERGENCE OF INTELLIGENT MACHINES: CHALLENGES AND OPPORTUNITIES Non-Human Intelligence Bart Selman

Source URL: intelligence.org

• Boolean algebra
• Logic in computer science
• Boolean satisfiability problem
• Electronic design automation
• SAT
• Human intelligence

Synthesizing Manipulation Sequences for Under-Specified Tasks using Unrolled Markov Random Fields Jaeyong Sung, Bart Selman and Ashutosh Saxena Abstract— Many tasks in human environments require performing a sequence o

Source URL: www.cs.cornell.edu

• Robotics
• Robot
• Automated planning and scheduling

Knowledge Compilation and Theory Approximation Henry Kautz and Bart Selman Presented by Kelvin Ku

Source URL: www.cs.toronto.edu

• Structure
• Universal algebra
• Horn clause
• Logic
• Mathematical logic
• Mathematics
• Model theory

A New Approach to Model Counting Wei Wei and Bart Selman Department of Computer Science Cornell University Ithaca, NY 14853

Source URL: www.cs.cornell.edu

• Constraint programming
• Logic in computer science
• Boolean algebra
• Automated theorem proving
• Mathematical logic
• Boolean satisfiability problem
• DPLL algorithm
• Local search
• Davis–Putnam algorithm
• Theoretical computer science
• Applied mathematics
• Mathematics

Leveraging Belief Propagation, Backtrack Search, and Statistics for Model Counting Lukas Kroc, Ashish Sabharwal, Bart Selman Cornell University May 23, 2008

Source URL: www.cs.cornell.edu

• Complexity classes
• Boolean algebra
• Constraint programming
• Mathematical optimization
• Boolean satisfiability problem
• Constraint satisfaction problem
• NP-complete
• Belief propagation
• NP
• Theoretical computer science
• Computational complexity theory
• Applied mathematics

C o n s t r a i n t P r o g r a m m i n g Constraints and AI Planning

Source URL: www.ai-center.com

• Computer programming
• Constraint satisfaction
• Constraint graph
• Local consistency
• Logic programming
• Constraint optimization
• Hierarchical task network
• Bart Selman
• Automated planning and scheduling
• Constraint programming
• Software engineering
• Theoretical computer science