1760 search results - page 243 / 352 » A System to Mark Programs Automatically |
123
Voted
GECCO
2007
Springer
15 years 9 months ago
2007
Springer
Developmental systems typically produce a phenotype through a generative process whose outcome depends on feedback from the environment. In most artificial developmental systems, ...
123
Voted
ICTAC
2004
Springer
15 years 8 months ago
2004
Springer
We give an inductive method for proving weak innermost termination of rule-based programs, from which we automatically infer, for each successful proof, a finite strategy for data...
EDBT
2009
ACM
15 years 10 months ago
2009
ACM
A runtime approach to model-generic translation of schema and data is proposed. It is based on our previous work on MIDST, a platform conceived to perform translations in an off-...
147
click to vote
ADL
2000
Springer
15 years 7 months ago
2000
Springer
The goal of this work is to improve the accuracy (precision and recall) and communication effectiveness of a database system response to a user information request, by utilizing a...
157
Voted
ECBS
2004
IEEE
15 years 7 months ago
2004
IEEE
The focus of typical architectural models is the description of large systems. Even though these systems are usually distributed, aspects of distributed systems are only addressed...