10802 search results - page 122 / 2161 » Generative and developmental systems |
BIRTHDAY
2003
Springer
14 years 2 months ago
2003
Springer
Abstract. Petri nets have been widely used to model and analyze concurrent systems. Their wide-spread use in this domain is, on one hand, facilitated by their simplicity and expres...
FATES
2004
Springer
14 years 29 days ago
2004
Springer
Abstract. Classical state-oriented testing approaches are based on simple machine models such as Labelled Transition Systems (LTSs), in which data is represented by concrete values...
AIIDE
2007
13 years 11 months ago
2007
Natural Language Generation for personality rich characters represents one of the important directions for believable agents research. The typical approach to interactive NLG is t...
FGCS
2000
13 years 9 months ago
2000
With a heavy emphasis on distribution and reuse, web-based simulation portends a dramatic shift in the application of simulation as a problem-solving technique and decision-suppor...
HASE
2005
IEEE
14 years 2 months ago
2005
IEEE
Checking various temporal requirements is a key dependability concern in safety-critical systems. As modelchecking approaches do not scale well to systems of high complexity the r...