Under what conditions do we attribute humanlikeness to nonhumans? A living being isn't necessarily humanlike. That is, we can be animistic without being anthropomorphic. Here are some conditions for ...

Matthew Cuthbert and the sorrel mare jogged comfortably over the eight miles to Bright River. It was a pretty road, running along between snug farmsteads, with now and again a bit of balsamy fir wood ...

The SCS Graduate Application Support Program is an annual student-led initiative made available to applicants to our doctoral programs. Not all pre-college students have access to guidance from people ...

Encompassing artificial intelligence, graphics, hardware and software systems, programming languages, security and privacy, and theory, the Computer Science Ph.D. program is the foundation of computer ...

AI for Teachers supports high school educators who want to gain familiarity with AI and offer AI-related educational activities for their students. The workshop covers an introduction to a broad range ...

I am an entering freshman in SCS. How do I become an AI major? All incoming SCS students start their first year as undeclared majors and take roughly the same curriculum during their first year. In ...

The HCII doctoral program offers an inspiring, collaborative and supportive atmosphere for graduate study. Our doctoral students engage in research from the moment they arrive, and take courses from ...

This paper describes a method for efficiently computing parallel transport of tangent vectors on curved surfaces, or more generally, any vector-valued data on a curved manifold. More precisely, it ...

I'm a professor in the Machine Learning Department at Carnegie Mellon. I am also affiliated with the Robotics Institute. I'm interested in multi-agent planning, reinforcement learning, ...

Modal logic is the study of the laws of inference for judgments such as "it is necessary that", "it is possible that", "K knows that", "K affirms that", etc. Its ...

This is a preliminary glimpse of a graphical knowledge graph exploration tool being developed by AI-CARING, an NSF AI Institute. Demos currently available: ...

We introduce the heat method for solving the single- or multiple-source shortest path problem on both flat and curved domains. A key insight is that distance computation can be split into two stages: ...