999 search results - page 39 / 200 » Constraints in Non-Boolean Contexts |
139
click to vote
CPAIOR
2007
Springer
16 years 9 days ago
2007
Springer
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...
175
click to vote
ISMIR
2005
Springer
2005
Springer
Ringomatic: A Real-Time Interactive Drummer Using Constraint-Satisfaction and Drum Sound Descriptors
15 years 11 months ago
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...
191
click to vote
BIRTHDAY
2007
Springer
16 years 10 days ago
2007
Springer
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...
167
click to vote
ADHOCNOW
2005
Springer
15 years 11 months ago
2005
Springer
— In this paper, we address an optimization problem that arises in context of cache placement in sensor networks. In particular, we consider the cache placement problem where the...
188
click to vote
DEXA
2005
Springer
15 years 11 months ago
2005
Springer
The first step in finding an efficient way to solve any difficult problem is making a complete, possibly formal, problem specification. This paper introduces a formal specifica...