6960 search results - page 453 / 1392 » Continuity Analysis of Programs |
149
click to vote
CSMR
1998
IEEE
15 years 9 months ago
1998
IEEE
Many organizations are using measurement as a means to improve their software development and maintenance processes. A reasonable consensus has been reached about the main success...
137
click to vote
ICLP
1999
Springer
15 years 9 months ago
1999
Springer
A central service of a constraint programming system is search. In almost all constraint programming systems search is based on trailing, which is well understood and known to be ...
144
click to vote
SLP
1993
15 years 6 months ago
1993
In this paper we describe a method of programspecialisation and give an extended example of its application to specialisation of a refutation proof procedure for rst order logic. ...
184
click to vote
ECAI
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. The agent programming language GOLOG and the underlying Situation Calculus have become popular means for the modelling and control of autonomous agents such as mobile rob...
136
click to vote
GECCO
2008
Springer
15 years 6 months ago
2008
Springer
Genetic Network Programming (GNP) has been proposed as a graph-based evolutionary algorithm. GNP works well especially in dynamic environments due to its graph structures. In addi...