Sciweavers

25195 search results - page 68 / 5039
» Applications of Computers to Dance
Sort
View
ECSCW
2001
14 years 11 months ago
Music sharing as a computer supported collaborative application
: New computer applications, such as the infamous "Napster" system enable the sharing of music over the Internet, with limited communication around this sharing activity ...
Barry A. T. Brown, Abigail Sellen, Erik Geelhoed
FGCS
2000
100views more  FGCS 2000»
14 years 9 months ago
Investigating the application of web-based simulation principles within the architecture for a next-generation computer generate
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...
Ernest H. Page, Jeffrey M. Opper
LOGCOM
2010
123views more  LOGCOM 2010»
14 years 8 months ago
The Hyper Tableaux Calculus with Equality and an Application to Finite Model Computation
In most theorem proving applications, a proper treatment of equational theories or equality is mandatory. In this paper we show how to integrate a modern treatment of equality in ...
Peter Baumgartner, Ulrich Furbach, Björn Pelz...