6274 search results - page 442 / 1255 » Proofs, Programs, Processes |
208
click to vote
ESOP
2005
Springer
16 years 11 days ago
2005
Springer
The notion of control dependence underlies many program analysis and transformation techniques used in numerous applications. Despite wide application, existing definitions and ap...
163
click to vote
GECCO
2004
Springer
16 years 6 days ago
2004
Springer
Genetic programming may be seen as a recent incarnation of a long-held goal in evolutionary computation: to develop actual computational devices through evolutionary search. Geneti...
149
click to vote
ATAL
2003
Springer
16 years 2 days ago
2003
Springer
This paper presents the specification of a programming language for implementing the deliberation cycle of cognitive agents. The mental attitudes of cognitive agents are assumed ...
162
click to vote
CATA
2003
15 years 8 months ago
2003
This paper introduces stratified programming, a novel approach for program construction. In essence, stratified programming allows the developer to build and software at various l...
193
click to vote
SERP
2003
15 years 8 months ago
2003
Due to recent advances in network and computing facilities, use of the Internet is becoming popular and promising in various areas such as scientific collaboration, information di...