3228 search results - page 411 / 646 » Computationally Sound Proofs |
135
Voted
ACMACE
2009
ACM
15 years 7 months ago
2009
ACM
Music Box is an artistic implementation of emergent behavior and its use to create music. Music Box employs Craig Reynold's flocking algorithm to display animated notes that ...
123
Voted
ACMDIS
2006
ACM
15 years 7 months ago
2006
ACM
Randomness is being harnessed in the design of some interactive systems. This is observed in random blogs, random web searching, and in particular Apple's iPod Shuffle. Yet t...
131
Voted
CHI
2001
ACM
15 years 7 months ago
2001
ACM
Given rapid improvements in network infrastructure and streaming-media technologies, a large number of corporations and universities are recording lectures and making them availab...
136
Voted
EDOC
2000
IEEE
15 years 7 months ago
2000
IEEE
To satisfy the need for a wide range of enterprise modelling choices, it is necessary to have a rich set of processbased and role-based modelling concepts. It is also necessary to...
134
Voted
CAE
2007
15 years 6 months ago
2007
Audiovisual performance is a fertile area for creative expression, an intersection of experimental cinema and computer music that has seen a groundswell of interest in recent year...