Sciweavers

34181 search results - page 86 / 6837
» Computer system
Sort
View
104
Voted
AI
2007
Springer
15 years 1 months ago
Computational properties of argument systems satisfying graph-theoretic constraints
One difficulty that arises in abstract argument systems is that many natural questions regarding argument acceptability are, in general, computationally intractable having been c...
Paul E. Dunne
99
Voted
ESORICS
2005
Springer
15 years 6 months ago
Quantifying Probabilistic Information Flow in Computational Reactive Systems
Information flow and non-interference are well-established techniques for expressing both integrity and privacy properties. Because of the enormous potential to transmit informati...
Michael Backes
101
Voted
ISMIR
2001
Springer
208views Music» more  ISMIR 2001»
15 years 5 months ago
The JRing System for Computer-Assisted Musicological Analysis
Among other factors, high complexity and mandatory expert computer knowledge make many music IR and music analysis systems unsuitable for the majority of largely computer-illitera...
Andreas Kornstädt
MM
2005
ACM
111views Multimedia» more  MM 2005»
15 years 6 months ago
A flexible system for creating music while interacting with the computer
Music is a very important part of our lives. People enjoy listening to the music, and many of us find a special pleasure in creating the music. Computers further extended many asp...
Zeljko Obrenovic