Sciweavers

4074 search results - page 181 / 815
» Defining Computational Aesthetics
Sort
View
IPPS
1998
IEEE
14 years 3 months ago
Automatically Proving UNITY Safety Properties with Arrays and Quantifiers
Abstract. We address the general problem of automatically proving safety properties of reactive systems within the UNITY model. We take up a relational and set-based approach, and ...
Xavier Thirioux
ICGI
1998
Springer
14 years 3 months ago
Meaning Helps Learning Syntax
In this paper, we propose a new framework for the computational learning of formal grammars with positive data. In this model, both syntactic and semantic information are taken int...
Isabelle Tellier
ECOOPW
1994
Springer
14 years 2 months ago
Requirements for a Composition Language
A composition language based on a formal semantic foundation will facilitate precification of glue abstractions and compositions, and will support reasoning about their behaviour....
Oscar Nierstrasz, Theo Dirk Meijler
PPSN
1992
Springer
14 years 2 months ago
Non-Linear Genetic Representations
The limitations of linear chromosomes and conventional recombination operators are reviewed. It is argued that there are at least three classes of problems for which such represen...
Nicholas J. Radcliffe
BIOADIT
2004
Springer
14 years 2 months ago
Embryonic Machines That Divide and Differentiate
After defining a Universe for computer science in opposition to the Universe of biology, this paper presents the roles that cellular division plays in both of them. Based on the ni...
Daniel Mange, André Stauffer, Enrico Petrag...