494 search results - page 44 / 99 » On Some Epistemological Problems of Software Engineering |
113
click to vote
SOCO
2008
Springer
15 years 1 months ago
2008
Springer
Attribute reduction of an information system is a key problem in rough set theory and its applications. Using computational intelligence (CI) tools to solve such problems has rece...
ICFEM
2010
Springer
15 years 15 days ago
2010
Springer
Abstract. Verification of programs with invocations to unknown procedures is a practical problem, because in many scenarios not all codes of programs to be verified are available...
112
click to vote
ADAEUROPE
1997
Springer
15 years 6 months ago
1997
Springer
Abstract. This paper describes the development of two kinds of atomic action schemes for Ada 95. We start by discussing the basic features required of an atomic action scheme and w...
110
click to vote
GECCO
2009
Springer
15 years 8 months ago
2009
Springer
It is a hard problem to understand the search process of particle swarm optimization over high-dimensional domain. The visualization depicts the total search process and then it w...
108
click to vote
FOSSACS
2005
Springer
15 years 7 months ago
2005
Springer
The problems of contextual equivalence and approximation are studied for the third-order fragment of Idealized Algol with iteration (IA∗ 3). They are approached via a combination...