Sciweavers

112 search results - page 11 / 23
» AI and Music: From Composition to Expressive Performance
Sort
View
CCR
2004
147views more  CCR 2004»
13 years 8 months ago
Safe compositional specification of networking systems
The science of network service composition has emerged as one of the grand themes of networking research [17] as a direct result of the complexity and sophistication of emerging n...
Azer Bestavros, Adam Bradley, Assaf J. Kfoury, Ibr...
CAE
2007
13 years 11 months ago
A Poetics of Simulation for Audiovisual Performance
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...
Randy Jones
EMSOFT
2004
Springer
14 years 1 months ago
An event detection algebra for reactive systems
In reactive systems, execution is driven by external events to which the system should respond with appropriate actions. Such events can be simple, but systems are often supposed ...
Jan Carlson, Björn Lisper
AI
2005
Springer
13 years 8 months ago
: Compiling problem specifications into SAT
We present a compiler that translates a problem specification into a propositional satisfiability test (SAT). Problems are specified in a logic-based language, called NP-SPEC, whi...
Marco Cadoli, Andrea Schaerf
CONCUR
2008
Springer
13 years 10 months ago
A Notion of Glue Expressiveness for Component-Based Systems
Abstract. Comparison between different formalisms and models is often by flattening structure and reducing them to behaviorally equivalent models e.g., automaton and Turing machine...
Simon Bliudze, Joseph Sifakis