5343 search results - page 757 / 1069 » Keyword programming in java |
159
click to vote
ATAL
2005
Springer
16 years 8 days ago
2005
Springer
This paper presents a logic of knowledge, belief and certainty, which allows us to explicitly express the knowledge, belief and certainty of an agent. A computationally grounded m...
123
click to vote
GECCO
2005
Springer
16 years 7 days ago
2005
Springer
We propose a new methodology to look at the fitness contributions (semantics) of different schemata in Genetic Programming (GP). We hypothesize that the significance of a schem...
164
click to vote
GECCO
2005
Springer
16 years 7 days ago
2005
Springer
This paper describes our procedure and a software application for conducting large parameter sweep experiments in genetic and evolutionary computation research. Both procedure and...
179
click to vote
LCTRTS
2005
Springer
16 years 6 days ago
2005
Springer
The limited built-in configurability of Linux can lead to expensive code size overhead when it is used in the embedded market. To overcome this problem, we propose the applicatio...
156
click to vote
SIGADA
2005
Springer
16 years 6 days ago
2005
Springer
This paper presents an intermediate notation used in a framework for verification of real-time properties. The framework aims at overcoming the need for the framework user to hav...