Sciweavers

14190 search results - page 239 / 2838
» Abstractions for hybrid systems
Sort
View
DAGSTUHL
1996
15 years 8 months ago
Incorporating Spatial Representations at Multiple Levels of Abstraction in a Replicated Multilayered Architecture
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...
Alberto Elfes
FDL
2011
IEEE
14 years 6 months ago
Systemc refinement of abstract adaptive processes for implementation into Dynamically Reconfigurable Hardware
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...
ICML
2004
IEEE
16 years 7 months ago
Dynamic abstraction in reinforcement learning via clustering
Abstraction in Reinforcement Learning via Clustering Shie Mannor shie@mit.edu Laboratory for Information and Decision Systems, Massachusetts Institute of Technology, Cambridge, MA ...
Shie Mannor, Ishai Menache, Amit Hoze, Uri Klein
ASPDAC
2009
ACM
150views Hardware» more  ASPDAC 2009»
16 years 1 months ago
Using a dataflow abstracted virtual prototype for HdS-design
Dataflow abstracted Virtual Prototype for HdS-Design Wolfgang Ecker Stefan Heinen Michael Velten Infineon Technologies AG Germany ASPDAC 2009 Special Session Hardware-dependent Sof...
Wolfgang Ecker, Stefan Heinen, Michael Velten
ENTCS
2008
101views more  ENTCS 2008»
15 years 6 months ago
Monotonic Abstraction in Parameterized Verification
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...