Sciweavers

2282 search results - page 408 / 457
» Active property checking
Sort
View
EWLR
1999
Springer
14 years 2 months ago
Toward Seamless Transfer from Simulated to Real Worlds: A Dynamically-Rearranging Neural Network Approach
In the field of evolutionary robotics artificial neural networks are often used to construct controllers for autonomous agents, because they have useful properties such as the ab...
Peter Eggenberger, Akio Ishiguro, Seiji Tokura, To...
PKDD
1999
Springer
109views Data Mining» more  PKDD 1999»
14 years 2 months ago
Predicting Chemical Carcinogenesis Using Structural Information Only
This paper reports on the application of the Strongly Typed Evolutionary Programming System STEPS to the PTE2 challenge, which consists of predicting the carcinogenic activity of...
Claire J. Kennedy, Christophe G. Giraud-Carrier, D...
IDEAS
1998
IEEE
112views Database» more  IDEAS 1998»
14 years 2 months ago
Transitive Dependencies in Transaction Closures
Complex applications consist of a large set of transactions which are interrelated. There are different kinds of dependencies among transactions of a complex application, e.g. ter...
Kerstin Schwarz, Can Türker, Gunter Saake
KBSE
1998
IEEE
14 years 2 months ago
Automated Integrative Analysis of State-based Requirements
Statically analyzing requirements specifications to assure that they possess desirable properties is an important activity in any rigorous software development project. The analys...
Barbara J. Czerny, Mats Per Erik Heimdahl
ER
1997
Springer
148views Database» more  ER 1997»
14 years 2 months ago
Intelligent Support for Retrieval and Synthesis of Patterns for Object-Oriented Design
Several decades of software engineering research confirm that effective reuse is the only realistic approach to meeting the ever-increasing demands on the software industry. Over ...
Sandeep Purao, Veda C. Storey