1788 search results - page 136 / 358 » Model Theory for Process Algebra |
143
click to vote
IMAGING
2003
15 years 2 months ago
2003
Many image formation processes are complex interactions of several sub-processes and the analysis of the resulting images requires often to separate the influence of these sub-pr...
110
click to vote
BIRTHDAY
2008
Springer
15 years 2 months ago
2008
Springer
We illustrate two ways to address the specification, modelling and analysis of dynamic software architectures using: i) ordinary typed graph transformation techniques implemented i...
122
click to vote
GECCO
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Human-based genetic algorithms are powerful tools for organizational modeling. If we enhance them using chance discovery techniques, we obtain an innovative approach for ...
127
click to vote
SMA
2003
ACM
15 years 6 months ago
2003
ACM
Dimensional reduction is a simplification technique that eliminates one or more dimensions from a boundary value problem. It results in significant computational savings with mini...
113
click to vote
AI
2008
Springer
15 years 1 months ago
2008
Springer
Representing and reasoning about time dependent information is a key research issue in many areas of computer science and artificial intelligence. One of the best known and widely...