2859 search results - page 45 / 572 » A Programming Environment for Bousi-Prolog |
111
click to vote
TACAS
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Model checking suffers not only from the state-space explosion problem, but also from the environment modeling problem: how can one create an accurate enough model of the...
TPHOL
2003
IEEE
15 years 7 months ago
2003
IEEE
MetaPRL is the latest system to come out of over twenty five years of research by the Cornell PRL group. While initially created at Cornell, MetaPRL is currently a collaborative p...
146
click to vote
ICDCS
2002
IEEE
15 years 7 months ago
2002
IEEE
In the real-time environments, information is disseminated to clients with timing constraint. In this paper, we focus on the real time data scheduling problem in multiple broadcas...
153
click to vote
HVC
2007
Springer
15 years 5 months ago
2007
Springer
Implementations of computer systems comprise many layers and employ a variety of programming languages. Building such systems requires support of an often complex, accompanying too...
106
click to vote
CEC
2005
IEEE
15 years 7 months ago
2005
IEEE
Abstract- We present experiments (co)evolving Go players based on artificial neural networks (ANNs) for a 5x5 board. ANN structure and weights are encoded in multi–chromosomal g...