1669 search results - page 115 / 334 » Structured Specification of Model Interpreters |
123
Voted
GECCO
2004
Springer
15 years 9 months ago
2004
Springer
We present a covariant form for genetic dynamics and show how different formulations are simply related by linear coordinate transformations. In particular, in the context of the ...
115
Voted
SBIA
1998
Springer
15 years 7 months ago
1998
Springer
This paper presents Darwinci, a system that generates new ideas, using a multi-domain knowledge base composed by musical and drawing structures. Its theoretical background comes fr...
114
Voted
ESANN
1998
15 years 4 months ago
1998
Our problem concerns the joint interpretation of UltraSonic and InfraRed measurements provided by a composite proximity sensor, in order to extract geometrical and morphological f...
144
Voted
CORR
2002
Springer
15 years 3 months ago
2002
Springer
We illustrate the use of intersection types as a semantic tool for showing properties of the lattice of -theories. Relying on the notion of easy intersection type theory we succes...
117
Voted
CDC
2008
IEEE
15 years 5 months ago
2008
IEEE
The paper investigates the synchronization of a network of identical linear state-space models under a possibly time-varying and directed interconnection structure. The main resul...