11030 search results - page 460 / 2206 » Generative Sound Models |
169
click to vote
CHI
2009
ACM
16 years 7 months ago
2009
ACM
The development of computer-based devices for music control has created a need to study how spectators understand new performance technologies and practices. As a part of a larger...
162
click to vote
PODS
2003
ACM
16 years 7 months ago
2003
ACM
In this paper we propose a new bottom-up query evaluation method for stratified deductive databases based on the Magic Set approach. As the Magic Sets rewriting may lead to unstra...
167
click to vote
APN
2009
Springer
16 years 1 months ago
2009
Springer
In the world of Service Oriented Architectures, one deals with networks of cooperating components. A component offers services; to deliver a service it possibly needs services of ...
158
click to vote
LFCS
2009
Springer
16 years 1 months ago
2009
Springer
We present FixIt(ALC), a novel procedure for deciding knowledge base (KB) satisfiability in the Fuzzy Description Logic (FDL) ALC. FixIt(ALC) does not search for tree-structured m...
158
click to vote
APLAS
2009
ACM
16 years 1 months ago
2009
ACM
Separation Algebras serve as models of Separation Logics; Share Accounting allows reasoning about concurrent-read/exclusive-write resources in Separation Logic. In designing a Conc...