6704 search results - page 583 / 1341 » Testing Scenario-Based Models |
176
click to vote
ROBOCUP
2005
Springer
16 years 19 days ago
2005
Springer
In this paper, a recurrent neural network is used to develop a dynamic controller for mobile robots. The advantage of the control approach is that no knowledge about the robot mode...
157
click to vote
ACRI
2004
Springer
16 years 17 days ago
2004
Springer
Abstract. Cellular Automata are a powerful formal model for describing physical and computational processes. Qualitative analysis of Cellular Automata is in general a hard problem....
178
click to vote
CLEF
2004
Springer
16 years 17 days ago
2004
Springer
This paper describes the fourth participation of IR-n system (Alicante University) at CLEF conferences. At present conference, we have modified the similarity measure and the que...
186
click to vote
DNA
2004
Springer
16 years 17 days ago
2004
Springer
The extraction of DNA strands including a given sequence of bases is a crucial step in the Adleman-Lipton extract model of DNA computing. In this paper, a special type of PCR is pr...
213
click to vote
ICGI
2004
Springer
16 years 16 days ago
2004
Springer
Abstract. Kanazawa has shown that several non-trivial classes of categorial grammars are learnable in Gold’s model. We propose in this article to adapt this kind of symbolic lear...