Sciweavers

1119 search results - page 85 / 224
» On the Invariance of Ant System
Sort
View
MODELS
2007
Springer
15 years 4 months ago
Reconciling TGGs with QVT
ant Talks Abstracts Modelling Tools: Claudia Ermel: Tiger Harmen Kastenberg: GROOVE Christian Köhler: EMF Model Transformation Ákos Horváth: The VIATRA2 Model Transformation Fra...
Joel Greenyer, Ekkart Kindler
EUROGP
1999
Springer
137views Optimization» more  EUROGP 1999»
15 years 2 months ago
Evolving Controllers for Autonomous Agents Using Genetically Programmed Networks
– This article presents a new approach to the evolution of controllers for autonomous agents. We propose the evolution of a connectionist structure where each node has an associa...
Arlindo Silva, Ana Neves, Ernesto Costa
CSFW
2012
IEEE
13 years 9 days ago
Gran: Model Checking Grsecurity RBAC Policies
—Role-based Access Control (RBAC) is one of the most widespread security mechanisms in use today. Given the growing complexity of policy languages and access control systems, ver...
Michele Bugliesi, Stefano Calzavara, Riccardo Foca...
ICIP
2004
IEEE
15 years 11 months ago
Towards computer-assisted photo-identification of humpback whales
This paper describes current work on a photo-id system for humpback whales. Individuals of this species can be uniquely identified by the light and dark pigmentation patches on th...
Elena Ranguelova, Mark J. Huiskes, Eric J. Pauwels
FOCS
1990
IEEE
15 years 1 months ago
On the Predictability of Coupled Automata: An Allegory about Chaos
We show a sharp dichotomy between systems of identical automata with a symmetric global control whose behavior is easy to predict, and those whose behavior is hard to predict. The...
Samuel R. Buss, Christos H. Papadimitriou, John N....