15155 search results - page 2524 / 3031 » System Software |
177
click to vote
MM
2010
ACM
15 years 7 months ago
2010
ACM
In this paper, we describe a software system that generates unique musical compositions in realtime, created by four autonomous multi-agents. Given no explicit musical data, agent...
161
click to vote
MM
2010
ACM
15 years 7 months ago
2010
ACM
In this paper, we describe a software system that generates unique musical compositions in realtime, created by four autonomous multi-agents. Given no explicit musical data, agent...
211
click to vote
ENTCS
2008
15 years 7 months ago
2008
The Event-B method is a formal approach to modelling systems, using refinement. Initial specification is a high level of abstraction; detail is added in refinement steps as the de...
205
click to vote
IJON
2007
15 years 7 months ago
2007
Parallel computers have the computing power needed to simulate biologically accurate neuronal network models. Partitioning is the process of cutting a model in pieces and assignin...
179
click to vote
TOG
2008
15 years 7 months ago
2008
Details in mesh animations are difficult to generate but they have great impact on visual quality. In this work, we demonstrate a practical software system for capturing such deta...