4767 search results - page 359 / 954 » Structures for Abstract Rewriting |
170
click to vote
ECSQARU
1997
Springer
15 years 11 months ago
1997
Springer
Abstract. Temporal programming languages are recognized as natural and expressive formalisms for describing dynamic systems. However, most such languages are based on linear ow of ...
196
click to vote
CCL
1994
Springer
15 years 10 months ago
1994
Springer
Abstract: This paper describes the application of CLP (constraint logic programming) to several digital circuit design problems. It is shown that logic programming together with ef...
202
click to vote
AAIM
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Modularity, the recently defined quality measure for clusterings, has attained instant popularity in the fields of social and natural sciences. We revisit the rationale b...
172
click to vote
CAIP
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The MET protein controls growth, invasion, and metastasis in cancer cells and is thereby of interest to study, for example from a structural point of view. For individual...
190
click to vote
DAGM
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In this article we present EANT2, a method that creates neural networks (NNs) by evolutionary reinforcement learning. The structure of NNs is developed using mutation ope...