5525 search results - page 687 / 1105 » Verification of Model Transformations |
171
click to vote
WSC
2000
15 years 8 months ago
2000
This paper presents the development and simulation of a novel Genetic Algorithm (GA) based methodology applied to optimal tuning of a fuzzy dispatching system for a fleet of autom...
219
click to vote
SMA
2010
ACM
15 years 7 months ago
2010
ACM
3D Euler spirals are visually pleasing, due to their property of having their curvature and their torsion change linearly with arc-length. This paper presents a novel algorithm fo...
199
click to vote
SIAMCOMP
2002
15 years 6 months ago
2002
Linear quantum cellular automata were introduced recently as one of the models of quantum computing. A basic postulate of quantum mechanics imposes a strong constraint on any quan...
203
click to vote
JDCTA
2010
15 years 1 months ago
2010
This paper's research is based on the model of BDI Agent, carries out the research of the modeling and simulating the Virtual Enterprise's partner selection using Swarm ...
166
click to vote
ACL
2012
13 years 9 months ago
2012
Due to Arabic’s morphological complexity, Arabic retrieval benefits greatly from morphological analysis – particularly stemming. However, the best known stemming does not hand...