PLC-Automata are a class of real-time automata suitable to describe the behavior of polling real-time systems. PLC-Automata can be compiled to source code for PLCs, a hardware wide...
In this paper we present an extension of logic programming (LP) that is suitable not only for the "rational" component of a single agent but also for the "reactive&...
Abstract— We propose a planning algorithm that allows usersupplied domain knowledge to be exploited in the synthesis of information feedback policies for systems modeled as parti...
Salvatore Candido, James C. Davidson, Seth Hutchin...
We present a visualization system for reviewing the turn-taking patterns in a face-to-face meeting. Without the need to directly observe a group, a user can use the system to gain...
Joan Morris DiMicco, Katherine J. Hollenbach, Walt...
We propose a novel technique for background estimation on the tabletop systems that have an information display on the tabletop and observe tabletop objects with a camera. In such ...