منابع مشابه
Evolving Evolution
Software is changing and software evolution is going to change with it. In considering software and the problems of software evolution today we make the tacit assumption that we control the software and hence can control its evolution. Current trends point to a world where we only control a small fraction of our own software and the remainder evolves in unpredictable and uncontrolled ways. Curr...
متن کاملEvolving Ontology Evolution
One of the crucial tasks towards the realization of the Semantic Web vision is the efficient encoding of human knowledge in ontologies. Thus, the proper maintenance of these, usually large, structures and, in particular, their adaptation to new knowledge (ontology evolution) is one of the most challenging problems in the current Semantic Web research. In this paper, we uncover a certain gap in ...
متن کاملEvolving model evolution
Automated theorem proving is a method to establish or disprove logical theorems. While these can be theorems in the classical mathematical sense, we are more concerned with logical encodings of properties of algorithms, hardware and software. Especially in the area of hardware verification, propositional logic is used widely in industry. Satisfiability Module Theories (SMT) is a set of logics w...
متن کاملSocial Evolution: Evolving Sex Ratios
A recent study comparing sex ratios produced by experimental evolution in spider mites with those predicted by Hamilton's Local Mate Competition Theory clearly demonstrates Evolutionary Theory's success as a quantitatively predictive science.
متن کاملCo-Evolving Line Drawings with Hierarchical Evolution
We use an adversarial approach inspired by biological coevolution to generate complex line drawings without human guidance. Artificial artists and critics work against each other in an iterative competitive framework, forcing each to become increasingly sophisticated to outplay the other. Both the artists and critics are implemented in hercl, a framework combining linear and stack-based Genetic...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nature
سال: 1975
ISSN: 0028-0836,1476-4687
DOI: 10.1038/255008a0