Sciweavers

2911 search results - page 226 / 583
» A Theory of Expressiveness in Mechanisms
Sort
View
IBERAMIA
1998
Springer
15 years 10 months ago
The "Semantics" of Evolution: Trajectories and Trade-offs in Design Space and Niche Space
This paper 1 attempts to characterise a unifying overview of the practice of software engineers, AI designers, developers of evolutionary forms of computation, designers of adapti...
Aaron Sloman
CA
1997
IEEE
15 years 10 months ago
Behavioural simulation in voxel space
In this paper we present a framework for behavioural simulation. A uniform voxel space representation is used to implement the environment mechanism of the framework. An example e...
Hongwen Zhang, Brian Wyvill
CHI
1993
ACM
15 years 10 months ago
A Wizard of Oz platform for the study of multimodal systems
The Wizard of Oz (WOz) technique is an experimental evaluation mechanism. It allows the observation of a user operating an apparently fully functioning system whose missing servic...
Daniel Salber, Joëlle Coutaz
GECCO
2000
Springer
145views Optimization» more  GECCO 2000»
15 years 10 months ago
Enhancing the GA's Ability to Cope with Dynamic Environments
: The Shifting Balance Genetic Algorithm (SBGA) is a pluggable module for a GA (or any other Evolutionary Algorithm) based on a modification of Sewall Wright's shifting balanc...
Mark Wineberg, Franz Oppacher
AISC
2008
Springer
15 years 8 months ago
Mechanising a Proof of Craig's Interpolation Theorem for Intuitionistic Logic in Nominal Isabelle
Craig's Interpolation Theorem is an important meta-theoretical result for several logics. Here we describe a formalisation of the result for first-order intuitionistic logic w...
Peter Chapman, James McKinna, Christian Urban