In this paper we describe an approach for inferring the body posture using a 3D visual-hull constructed from a set of silhouettes. We introduce an appearance-based, view-independe...
Discussions of agent interactions frequently characterize behavior as “coherent,” “collaborative,” “cooperative,” “competitive,” or “coordinated.” We propose a...
H. Van Dyke Parunak, Sven Brueckner, Mitchell Flei...
This paper was inspired by the popularity of female video game protagonists despite girls’ and women’s continued hesitance to participate in digital gaming activities. The pil...
This paper presents a model checking-based approach to data flow testing. We characterize data flow oriented coverage criteria in temporal logic such that the problem of test ge...
A fundamental question for edge detection is how faint an edge can be and still be detected. In this paper we offer a formalism to study this question and subsequently introduce a...