1722 search results - page 245 / 345 » Guided Genetic Programming |
RIA
2006
13 years 10 months ago
2006
In this article, we expose our research program in bio-affective-social computing aimed at guiding and participating to the development of multimodal socially intelligent agents in...
TSE
2011
13 years 5 months ago
2011
Software module clustering is the problem of automatically organising software units into modules to improve program structure. There has been a great deal of recent interest in s...
NFM
2011
13 years 5 months ago
2011
Abstract. We present a new open source model checker, opaal, for automatic verification of models using lattice automata. Lattice automata allow the users to incorporate abstracti...
SBMF
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. In the context of the EU project Mobius on Proof Carrying Code for Java programs (midlets) on mobile devices, we present a way to express midlet navigation graphs in JML....
POPL
2008
ACM
14 years 10 months ago
2008
ACM
Models will play a central role in the representation, storage, manipulation, and communication of knowledge in systems biology. Models capable of fulfilling such a role will like...