1670 search results - page 57 / 334 » On Skolemization in constructive theories |
MPC
1995
Springer
14 years 1 months ago
1995
Springer
We want to prove \automatically" that a program is correct with respect to a set of given properties that is a speci cation. Proofs of speci cations contain logical parts and ...
IJON
2006
13 years 9 months ago
2006
This article presents a new system for automatically constructing and training radial basis function networks based on original evolutionary computing methods. This system, called...
IJACTAICIT
2010
13 years 7 months ago
2010
Program slicing is a promising technique for providing automated support for various important software engineering activities. There exists hundreds of scientific studies on the ...
DIALM
2003
ACM
14 years 2 months ago
2003
ACM
We propose a novel localized algorithm that constructs a bounded degree and planar spanner for wireless ad hoc networks modeled by unit disk graph (UDG). Every node only has to kn...
IBERAMIA
2004
Springer
14 years 3 months ago
2004
Springer
Early work on Case Based Reasoning reported in the literature shows the importance of soft computing techniques applied to different stages of the classical 4-step CBR life cycle. ...