Sciweavers

1366 search results - page 71 / 274
» Modularizing Contexted Constraints
Sort
View
CPAIOR
2007
Springer
15 years 5 months ago
A Continuous Multi-resources cumulative Constraint with Positive-Negative Resource Consumption-Production
Abstract. This article first introduces an extension of the classical cumulative constraint: each task is no more a rectangle but rather a sequence of contiguous trapezoid sub-tas...
Nicolas Beldiceanu, Emmanuel Poder
ISMIR
2005
Springer
159views Music» more  ISMIR 2005»
15 years 4 months ago
Ringomatic: A Real-Time Interactive Drummer Using Constraint-Satisfaction and Drum Sound Descriptors
We describe a real-time musical agent that generates an audio drum-track by concatenating audio segments automatically extracted from pre-existing musical files. The drum-track c...
Jean-Julien Aucouturier, François Pachet
JLP
2000
109views more  JLP 2000»
14 years 11 months ago
Demand Transformation Analysis for Concurrent Constraint Programs
interpretation. In the context of stream parallelism, this analysis identi es an amount of input data for which predicate execution can safely wait without danger of introducing de...
Moreno Falaschi, Patrick Hicks, William H. Winsbor...
ICIW
2009
IEEE
14 years 9 months ago
Constraint Integration and Violation Handling for BPEL Processes
Autonomic, i.e. dynamic and fault-tolerant Web service composition is a requirement resulting from recent developments such as on-demand services. In the context of planning-based...
MingXue Wang, Kosala Yapa Bandara, Claus Pahl
BIRTHDAY
2007
Springer
15 years 5 months ago
Orderings and Constraints: Theory and Practice of Proving Termination
In contrast to the current general way of developing tools for proving termination automatically, this paper intends to show an alternative program based on using on the one hand t...
Cristina Borralleras, Albert Rubio