10802 search results - page 113 / 2161 » Generative and developmental systems |
CAEPIA
2005
Springer
14 years 2 months ago
2005
Springer
When building natural language generation applications it is desireable to have the possibility of assembling modules that use different techniques for each one of the specific g...
UPP
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. System family engineering seeks to exploit the commonalities among systems from a given problem domain while managing the variabilities among them in a systematic way. In...
MKM
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. In previous papers we described the implementation of a system which combines mathematical object generation, transformation and filtering, conjecture generation, provin...
HYBRID
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. An invariant of a system is a predicate that holds for every reachable state. In this paper, we present techniques to generate invariants for hybrid systems. This is achi...
CAV
2012
Springer
11 years 11 months ago
2012
Springer
Abstract. In formal verification of hybrid systems, a big challenge is to incorporate continuous flow dynamics in a discrete framework. Our previous work proposed to use nonstand...