Skip to search formSkip to main contentSkip to account menu

Research Institute for Advanced Computer Science

Known as: RIACS, Research Institute for Advanced Computer Science (RIACS) 
The Research Institute for Advanced Computer Science (RIACS) was founded June 1, 1983 as a joint collaboration between the Universities Space… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2007
2007
Many MDPs exhibit an hierarchical structure where the agent needs to perform various subtasks that are coupled only by a small… 
2002
2002
By now, everyone who's heard of the Haughton-Mars Project knows that we travel to Devon Is/and to learn how people will live and… 
2001
2001
The Research Institute for Advanced Computer Science (RIACS) carries out basic research and technology development in computer… 
2001
2001
Model checking is a fully automated technique for checking that a system satisfies a set of required properties. With explicit… 
1999
1999
The Research Institute for Advanced Computer Science (RIACS) carries out basic research and technology development in computer… 
1998
1998
The Versatile Advection Code is a general tool for solving hydrodynamical and magnetohydrodynamical problems arising in… 
1995
1995
Pattern recognition is a budding field with many possible approaches. Codebook systems like the k-nearest neighbor classifier… 
1994
1994
The Research Institute for Advanced Computer Science (RIACS) was established by the Universities Space Research Association (USRA… 
1991
1991
The Lanczos algorithm can be used both for eigenvalue problems and to solve linear systems. However, when applied to non…