10802 search results - page 354 / 2161 » Generative and developmental systems |
141
click to vote
KBSE
1999
IEEE
15 years 9 months ago
1999
IEEE
This paper describes the application of advanced formal modelling techniques and tools from the CADP toolset to the verification of CFS, a distributed file system kernel. After a ...
135
Voted
ICAD
2004
15 years 6 months ago
2004
The creation of audio interfaces is currently hampered by the difficulty of designing sounds for them. This paper presents a novel system for generating and manipulating non-speec...
147
click to vote
COMSIS
2004
15 years 4 months ago
2004
This paper presents a method and concepts of a supporting tool for rapid prototyping of large-scale business information systems. Our method is based on the following guidelines: (...
156
Voted
UM
2007
Springer
15 years 11 months ago
2007
Springer
Users’ critiques to the current recommendation form a crucial feedback mechanism for refining their preference models and improving a system’s accuracy in recommendations that ...
115
click to vote
RE
2008
Springer
15 years 3 months ago
2008
Springer
In this paper, we describe a creativity workshop that was used in a large research project, called APOSDLE, to generate creative ideas and requirements for a workintegrated learni...