Sciweavers

5336 search results - page 225 / 1068
» Steerable part models
Sort
View
ICRA
2006
IEEE
86views Robotics» more  ICRA 2006»
14 years 2 months ago
The Statistical Dynamics of Programmed Self-assembly
Abstract— We describe how a graph grammar program for robotic self-assembly, together with measurements of kinetic rate data yield a Markov Process model of the dynamics of progr...
Nils Napp, Samuel Burden, Eric Klavins
IEEEAMS
2002
IEEE
14 years 1 months ago
The Design and Implementation of the A2QM3 System
In this paper we present the design, architecture and implementation of the A2QM3 System. It provides programmers re-usable QoS-aware Control Objects to enable building a complete...
Balázs Csizmazia, Hermann Hellwagner
KBSE
1997
IEEE
14 years 15 days ago
Interactive Component-Based Software Development with Espresso
There are a number of competing component models in use today. Most are language-independent, but also platform-dependent and not designed to support a tool-based development para...
T. Faison
ERSHOV
2009
Springer
14 years 5 days ago
A Java Supercompiler and Its Application to Verification of Cache-Coherence Protocols
Abstract. The Java Supercompiler (JScp) is a specializer of Java programs based on the Turchin's supercompilation method and extended to support imperative and object-oriented...
Andrei V. Klimov
GC
2004
Springer
14 years 1 days ago
The SOCS Computational Logic Approach to the Specification and Verification of Agent Societies
This article summarises part of the work done during the first two years of the SOCS project, with respect to the task of modelling interaction amongst CL-based agents. It describe...
Marco Alberti, Federico Chesani, Marco Gavanelli, ...