683 search results - page 52 / 137 » Modelling Evolvable Systems: A Temporal Logic View |
127
click to vote
BIRTHDAY
1997
Springer
15 years 8 months ago
1997
Springer
The structures of space and time are identified as essential for the realization of cognitive systems. It is suggested that the omnipresence of space and time may have been respons...
140
Voted
UML
2001
Springer
15 years 9 months ago
2001
Springer
Much of the research work on design patterns has primarily focused on discovering and documenting patterns. Design patterns promise early reuse benefits at the design stage. To rea...
147
click to vote
ICLP
2010
Springer
15 years 8 months ago
2010
Springer
[6]. An SBML model can be interpreted in Biocham at three abstraction levels: • the Boolean semantics (asynchronuous Boolean state transitions on the presence/absence of molecule...
124
click to vote
CORR
2011
Springer
14 years 8 months ago
2011
Springer
— This paper discusses some topics related to the latest trends in the field of evolutionary approaches to iris recognition. It presents the results of an exploratory experimenta...
124
Voted
ECAI
2006
Springer
15 years 8 months ago
2006
Springer
In this paper, we show how to establish correctness and time bounds (e.g., quality of service guarantees) for multi-agent systems composed of communicating rule-based agents. The f...