657 search results - page 40 / 132 » Defining the Problems of Framework Reuse |
APIN
2010
15 years 2 months ago
2010
Artificial neural networks can be trained to perform excellently in many application areas. While they can learn from raw data to solve sophisticated recognition and analysis prob...
119
click to vote
CSSE
2006
IEEE
15 years 2 months ago
2006
IEEE
We have been developing robotic multi-agent systems for several years according to a well defined methodology (PASSI) obtaining good results, but day by day needs of a more versati...
120
click to vote
CSL
2002
Springer
15 years 1 months ago
2002
Springer
In the process of interactive theorem proving one often works with incomplete higher order proofs. In this paper we address the problem of giving a correctness criterion for these ...
156
click to vote
ANNS
2010
14 years 9 months ago
2010
Evolving recurrent neural networks for behavior control of robots equipped with larger sets of sensors and actuators is difficult due to the large search spaces that come with the ...
126
click to vote
FM
1991
Springer
15 years 5 months ago
1991
Springer
An important goal of software engineering is to exploit commonalities in system design in order to reduce the complexity of building new systems, support largescale reuse, and pro...