ating Spatial Representations at Multiple Levels of Abstraction in a Replicated Multilayered Architecture for Robot Control ALBERTO ELFES Presented in the 1996 Dagstuhl Seminar 963...
Refinement of AbstractSystemC Refinement of Abstract Adaptive Processes for Implementation into Dynamically Reconfigurable Hardwareg F HerreraF. Herrera E. Villar P.A. Hartmann Sli...
Fernando Herrera, Eugenio Villar, Philipp A. Hartm...
Abstraction in Reinforcement Learning via Clustering Shie Mannor shie@mit.edu Laboratory for Information and Decision Systems, Massachusetts Institute of Technology, Cambridge, MA ...
Dataflow abstracted Virtual Prototype for HdS-Design Wolfgang Ecker Stefan Heinen Michael Velten Infineon Technologies AG Germany ASPDAC 2009 Special Session Hardware-dependent Sof...
c Abstraction in Parameterized Verification Parosh Aziz Abdulla1 Department of Information Technology Uppsala University Sweden Giorgio Delzanno2 Dipartimento Informatica e Scienze...
Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezin...