This paper describes an assembly-language type system capable of ensuring memory safety in the presence of both heap and stack allocation. The type system uses linear logic and a ...
Limin Jia, Frances Spalding, David Walker, Neal Gl...
Abstract. This paper introduces a novel framework for designing multiagent systems, called “Distributed Agent Evolution with Dynamic Adaptation to Local Unexpected Scenarios” (...
Suranga Hettiarachchi, William M. Spears, Derek Gr...
Sensor network applications frequently require that the sensors know their physical locations in some global coordinate system. This is usually achieved by equipping each sensor w...
This paper addresses the problem of pattern noise encountered in single-stage delta-sigma modulators in the presence of a DC input signal. By utilizing state-space matrices, we ex...
This paper presents an architecture for an intelligent virtual agent that imitates human drumming behaviour. Through imitation, the agent models the user-specific variations that ...