Abstract— This paper describes a novel approach for multirobot caging and manipulation, which relies on the team of robots forming patterns that trap the object to be manipulated...
Distributed simulation promises a range of benefits and opportunities, especially for modeling large-scale complex systems, such as wafer fabs. However, as with many promising tec...
Abstract. We study the notion of binding-time analysis for logic programs. We formalise the unfolding aspect of an on-line partial deduction s a Prolog program. Using abstract inte...
Maurice Bruynooghe, Michael Leuschel, Konstantinos...
Abstract. Among the challenges of managing NASA’s information systems is the management (that is, creation, coordination, verification, validation, and enforcement) of many di...
Michael Smith, Andrew Schain, Kendall Clark, Arlen...
This tutorial reports on the use of nonlinear dynamics in several different models of neural systems. We discuss a number of distinct approaches to neural information processing ba...