We study the development of distributed agent environments as distributed event-based systems specified in the Ambient Event Calculus (AEC). The AEC is a logic-based formalism th...
Abstract. Active mathematical documents are distinguished from traditional paper-oriented ones by their ability to interactively adapt to a reader’s inputs. This includes changes...
This paper investigates potential effects of a motivational module on a robotic arm, which is controlled based on the biologicalinspired SURE REACH system. The motivational module...
Abstract. Orthogonal connectors are used in a variety of common network diagrams. Most interactive diagram editors provide orthogonal connectors with some form of automatic connect...
Public displays are becoming increasingly commonplace, yet recent studies place the effectiveness and user acceptance of them into doubt. This paper motivates the need for a new c...
Angie Chandler, Joe Finney, Carl Lewis, Alan J. Di...