334 search results - page 55 / 67 » Can a Model Checker Generate Tests for Non-Deterministic Sys... |
151
click to vote
ROBOCUP
1999
Springer
15 years 8 months ago
1999
Springer
In recent years, many researchers in AI and Robotics pay attention to RoboCup, because robotic soccer games needs various techniques in AI and Robotics, such as navigation, behavi...
135
Voted
EDBT
2009
ACM
15 years 7 months ago
2009
ACM
Many Web applications are based on dynamic interactions between Web components exchanging flows of information. Such a situation arises for instance in mashup systems or when moni...
143
click to vote
ICMLA
2009
15 years 1 months ago
2009
Abstract--We investigate parameter-based and distributionbased approaches to regularizing the generative, similarity-based classifier called local similarity discriminant analysis ...
179
click to vote
ICMLA
2009
16 years 27 days ago
2009
User authentication and intrusion detection differ from standard classification problems in that while we have data generated from legitimate users, impostor or intrusion data is s...
160
click to vote
EUSFLAT
2009
15 years 1 months ago
2009
This paper presents an adaptive neuro-fuzzy inference system (ANFIS) for USD/JPY exchange rates forecasting. Previous work often used time series techniques and neural networks (NN...