7890 search results - page 1169 / 1578 » The MathSAT 3 System |
196
click to vote
ESTIMEDIA
2003
Springer
16 years 3 days ago
2003
Springer
In order to extensively explore design space one has to specify a n a very abstract level. Transforming a specification into a correct implementation is usually an error prone tas...
194
click to vote
EUROGP
2003
Springer
16 years 3 days ago
2003
Springer
In this paper, we introduce a new grammar guided genetic programming system called tree-adjoining grammar guided genetic programming (TAG3P+), where tree-adjoining grammars (TAGs) ...
168
click to vote
FORMATS
2003
Springer
16 years 2 days ago
2003
Springer
We present a process algebra suitable to the modelling of timed concurrent systems and to their efficient verification through model checking. The algebra is provided with two con...
182
click to vote
GECCO
2003
Springer
16 years 2 days ago
2003
Springer
Abstract. In this paper, an agent-based evolutionary computing technique is introduced, that is geared towards the automatic induction and optimization of grammars for natural lang...
200
click to vote
APSEC
2002
IEEE
15 years 12 months ago
2002
IEEE
UML is a modeling language that most developers employed during design phase. UML provides various types of diagrams used for specifying both the structure and the behavior of sys...