7892 search results - page 227 / 1579 » Programming with Models |
160
click to vote
IASTEDSEA
2004
15 years 3 months ago
2004
OpenCOM v2 is our experimental language-independent component-based systems-building technology. OpenCOM offers more than merely a component-based programming model. First, it is ...
107
click to vote
KBSE
2005
IEEE
15 years 7 months ago
2005
IEEE
Software verification using model checking often translates programs into corresponding transition systems that model the program behavior. As software systems continue to grow i...
109
click to vote
ICPR
2002
IEEE
16 years 2 months ago
2002
IEEE
We consider the segmentation of a trajectory into piecewise polynomial parts, or possibly other forms. Segmentation is typically formulated as an optimization problem which trades...
127
click to vote
AGTIVE
2007
Springer
15 years 7 months ago
2007
Springer
In this article, we propose to use the Discrete EVent system Specification (DEVS) formalism to describe and execute graph transformation control structures. We provide a short rev...
123
click to vote
CIG
2006
IEEE
15 years 7 months ago
2006
IEEE
Abstract— Many games require opponent modelling for optimal performance. The implicit learning and adaptive nature of evolutionary computation techniques offer a natural way to d...