3441 search results - page 205 / 689 » Parallel Logic Programming Systems |
192
click to vote
KI
2011
Springer
14 years 10 months ago
2011
Springer
Abstract We present the General Game Playing system Centurio. Centurio is a Java-based player featuring different strategies based on Monte Carlo Tree Search extended by technique...
133
click to vote
SIGARCH
2008
15 years 3 months ago
2008
Conventional programming models were designed to be used by expert programmers for programming for largescale multiprocessors, distributed computational clusters, or specialized p...
128
click to vote
CADE
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. The Nuprl system is a framework for reasoning about mathematics and programming. Over the years its design has been substantially improved to meet the demands of large-sc...
167
click to vote
PLDI
2011
ACM
14 years 6 months ago
2011
ACM
MATLAB is an array language, initially popular for rapid prototyping, but is now being increasingly used to develop production code for numerical and scientific applications. Typ...
152
click to vote
EKAW
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. This paper presents an experiment of parallel knowledge base development by subject matter experts, performed as part of the DARPA’s Rapid Knowledge Formation Program. ...