2905 search results - page 283 / 581 » Formal Memetic Algorithms |
106
click to vote
SAC
2006
ACM
15 years 21 days ago
2006
ACM
Model transformations are frequently applied in business process modeling to bridge between languages on a different abstraction and formality. In this paper, we define a transfor...
134
Voted
CORR
2004
Springer
15 years 19 days ago
2004
Springer
Full formal descriptions of algorithms making use of quantum principles must take into account both quantum and classical computing components and assemble them so that they commu...
KI
2002
Springer
15 years 14 days ago
2002
Springer
The algorithmic generation of textual descriptions of image sequences requires conceptual knowledge. In our case, a stationary camera recorded image sequences of road traffic scene...
89
Voted
PVLDB
2008
15 years 8 days ago
2008
In probabilistic databases, lineage is fundamental to both query processing and understanding the data. Current systems s.a. Trio or Mystiq use a complete approach in which the li...
106
Voted
CIKM
2010
Springer
14 years 11 months ago
2010
Springer
In recent years, a number of projects have turned to Wikipedia to establish large-scale taxonomies that describe orders of magnitude more entities than traditional manually built ...