We present a new model of human mate choice incorporating non-negligible courtship time. The courtship period is used by individuals to strategically swap to better partners when t...
Visual search is an important part of human-computer interaction. It is critical that we build theory about how people visually search displays in order to better support the user...
In this paper we describe a novel technique which implements a spatiotemporal model as a set of sub-models based on first order logic. These sub-models model different, typicall...
Predicting accurately the spatiotemporal evolution of a diffusive environmental hazard is of paramount importance for its effective containment. We approximate the front line of a...
This paper presents a dynamic technique for predicting the e ect that a location" of a program will have on the program's computational behavior. The technique is based ...