Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 227,741,302 papers from all fields of science
Search
Sign In
Create Free Account
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…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
4 relations
Artificial intelligence
Computational chemistry
Computational fluid dynamics
Yousef Saad
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2007
2007
Hierarchical Heuristic Forward Search in Stochastic Domains
Nicolas Meuleau
,
R. Brafman
International Joint Conference on Artificial…
2007
Corpus ID: 647697
Many MDPs exhibit an hierarchical structure where the agent needs to perform various subtasks that are coupled only by a small…
Expand
2002
2002
Simulating "Mars on Earth" A Report from FMARS Phase 2
W. Clancey
2002
Corpus ID: 115227564
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…
Expand
2001
2001
Activities of Research Institute for Advanced Computer Science
A. R. Gross
,
B. Leiner
2001
Corpus ID: 107150836
The Research Institute for Advanced Computer Science (RIACS) carries out basic research and technology development in computer…
Expand
2001
2001
Efficient Translation of LTL Formulae into Buchi Automata
D. Giannakopoulou
,
Flavio Lerda
2001
Corpus ID: 7835443
Model checking is a fully automated technique for checking that a system satisfies a set of required properties. With explicit…
Expand
1999
1999
Research Institute for Advanced Computer Science: Annual Report October 1998 through September 1999
B. Leiner
,
A. R. Gross
1999
Corpus ID: 60160887
The Research Institute for Advanced Computer Science (RIACS) carries out basic research and technology development in computer…
Expand
1998
1998
Comparison of Different Computer Platforms for Running the Versatile Advection Code
G. Tóth
,
R. Keppens
International Conference on High-Performance…
1998
Corpus ID: 45590011
The Versatile Advection Code is a general tool for solving hydrodynamical and magnetohydrodynamical problems arising in…
Expand
1995
1995
Sparse adaptive memory
B. Flachs
1995
Corpus ID: 61416452
Pattern recognition is a budding field with many possible approaches. Codebook systems like the k-nearest neighbor classifier…
Expand
1994
1994
Activities of the Research Institute for Advanced Computer Science
J. Oliger
1994
Corpus ID: 59673555
The Research Institute for Advanced Computer Science (RIACS) was established by the Universities Space Research Association (USRA…
Expand
1991
1991
A look-ahead variant of the Lanczos algorithm and its application to the quasi-minimal residual method for non-Hermitian linear systems. Ph.D. Thesis - Massachusetts Inst. of Technology, Aug. 1991
N. Nachtigal
1991
Corpus ID: 117064499
The Lanczos algorithm can be used both for eigenvalue problems and to solve linear systems. However, when applied to non…
Expand
1988
1988
The RIACS Intelligent Auditing and Categorizing System
M. Bishop
1988
Corpus ID: 60104341
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE