Sciweavers

DAGSTUHL
2003
14 years 7 days ago
Embedding a Hardware Description Language in Template Haskell
Abstract. Hydra is a domain-specific language for designing digital circuits, which is implemented by embedding within Haskell. Many features required for hardware specification ...
John T. O'Donnell
DAGSTUHL
2003
14 years 7 days ago
Ranked representation of vector fields
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...
Bala Krishna Nakshatrala, David Thompson, Raghu Ma...
DAGSTUHL
2003
14 years 7 days ago
Deciding Properties of Message Sequence Charts
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...
Anca Muscholl, Doron Peled
DAGSTUHL
2003
14 years 7 days ago
Self-Reconfigurable Robots: Platforms for Emerging Functionality
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 ...
Satoshi Murata, Akiya Kamimura, Haruhisa Kurokawa,...
DAGSTUHL
2003
14 years 7 days ago
Intelligent Agents: Issues and Logics
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...
John-Jules Ch. Meyer
DAGSTUHL
2003
14 years 7 days ago
Cell projection of meshes with non-planar faces
: 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...
Nelson L. Max, Peter L. Williams, Cláudio T...
DAGSTUHL
2003
14 years 7 days ago
Components, Features, and Agents in the ABC
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...
Tiziana Margaria
DAGSTUHL
2003
14 years 7 days ago
Robot Bouncing: On the Synergy Between Neural and Body-Environment Dynamics
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, ...
Max Lungarella, Luc Berthouze
DAGSTUHL
2003
14 years 7 days ago
The Need to Adapt and Its Implications for Embodiment
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...
Lukas Lichtensteiger
DAGSTUHL
2003
14 years 7 days ago
Program Optimization in the Domain of High-Performance Parallelism
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 ...
Christian Lengauer