10802 search results - page 384 / 2161 » Generative and developmental systems |
141
Voted
AI
2003
Springer
15 years 10 months ago
2003
Springer
Driving simulators need an Intelligent Tutoring System (ITS). Simulators provide ways to conduct objective measurements on students' driving behavior and opportunities for cre...
123
click to vote
EVOW
2003
Springer
15 years 10 months ago
2003
Springer
This paper discusses the motivation, design and construction of a generative music system, 'MusicBlox', (by the author) that utilises a domain specific, knowledge rich Ge...
135
Voted
GI
2001
Springer
15 years 9 months ago
2001
Springer
We present a pragmatic approach using formal methods to increase the quality of distributed component based systems: Based on UML class diagrams annotated with OCL constraints, co...
142
click to vote
CONCUR
2006
Springer
15 years 8 months ago
2006
Springer
We describe an incomplete but sound and efficient livelock freedom test for infinite state asynchronous reactive systems. The method s a system into a set of simple control flow cy...
168
click to vote
APN
2000
Springer
15 years 8 months ago
2000
Springer
Many techniques for the verification of reactive systems rely on the analysis of their reachable state spaces. In this paper, a new algorithm for the symbolic generation of the sta...