Sciweavers

1340 search results - page 99 / 268
» Kalman Temporal Differences
Sort
View
SPIN
2001
Springer
15 years 8 months ago
p2b: A Translation Utility for Linking Promela and Symbolic Model Checking (Tool Paper)
p2b is a research tool that translates Promela programs to boolean representations of the automata associated with them. These representations conform to the input syntax of the wi...
Michael Baldamus, Jochen Schröder-Babo
APVIS
2006
15 years 5 months ago
STARMINE: a visualization system for cyber attacks
In cyber attack monitoring systems, various types of visualizations, such as geographical visualization, temporal visualization, logical visualization, are being used. Each visual...
Yusuke Hideshima, Hideki Koike
FLAIRS
2003
15 years 5 months ago
Learning Opening Strategy in the Game of Go
In this paper, we present an experimental methodology and results for a machine learning approach to learning opening strategy in the game of Go, a game for which the best compute...
Timothy Huang, Graeme Connell, Bryan McQuade
JISBD
2003
15 years 5 months ago
A Conceptual Modelling Pattern for Roles
: A pattern identifies a problem and provides the specification of a generic solution to that problem. Conceptual modelling patterns are aimed at representing a specific structure ...
Ruth Raventós, Jordi Cabot
NCA
2008
IEEE
15 years 3 months ago
Neurodynamic programming: a case study of the traveling salesman problem
The paper focuses on the study of solving the large-scale traveling salesman problem (TSP) based on neurodynamic programming. From this perspective, two methods, temporal differenc...
Jia Ma, Tao Yang, Zeng-Guang Hou, Min Tan, Derong ...