DAGSTUHL
2003
14 years 1 months ago
2003
Abstract. Hydra is a domain-specific language for designing digital circuits, which is implemented by embedding within Haskell. Many features required for hardware specification ...
DAGSTUHL
2003
14 years 1 months ago
2003
Abstract Browsing and visualizing large datasets is often a tedious chore. Locating features, especially in a wavelet transform domain is usually offered as a possible solution. W...
DAGSTUHL
2003
14 years 1 months ago
2003
Message Sequence Charts (MSCs) is a notation used in practice by protocol designers and system engineers. It is defined within an international standard (ITU Z120), and is also i...
DAGSTUHL
2003
14 years 1 months ago
2003
We have studied modular self-reconfigurable robots that are capable of changing their overall shape and functionality by automatic recombination of homogenous robotic modules. Our ...
DAGSTUHL
2003
14 years 1 months ago
2003
In this paper we review some issues of research in intelligent agents, and particularly some logical theories that have been proposed in the literature to describe aspects of inte...
DAGSTUHL
2003
14 years 1 months ago
2003
: We review the cell projection method of volume rendering, discussing back-to-front cell sorting, and approximations involved in hardware color computation and interpolation. We d...
DAGSTUHL
2003
14 years 1 months ago
2003
Abstract. In this paper, we show how the concepts of objects, components, features and agents are used today in the Agent Building Center (ABC) environment in order to marry the mo...
DAGSTUHL
2003
14 years 1 months ago
2003
The study of how infants strapped in a Jolly Jumper learn to bounce can help clarify how they explore different ways of exploiting the dynamics of their movements. In this paper, ...
DAGSTUHL
2003
14 years 1 months ago
2003
We present the hypothesis that an important factor for the choice of a particular embodiment for a natural or artificial agent is the effect of the embodiment on the agent’s ab...
DAGSTUHL
2003
14 years 1 months ago
2003
I consider the problem of the domain-specific optimization of programs. I review different approaches, discuss their potential, and sketch instances of them from the practice of ...