Sciweavers

3775 search results - page 203 / 755
» The Expression Problem Revisited
Sort
View
137
Voted
CP
2004
Springer
15 years 9 months ago
Constraint-Based Combinators for Local Search
Abstract. One of the most appealing features of constraint programming is its rich constraint language for expressing combinatorial optimization problems. This paper demonstrates t...
Pascal Van Hentenryck, Laurent Michel, Liyuan Liu
ICALP
2010
Springer
15 years 8 months ago
The Downward-Closure of Petri Net Languages
We show that the downward-closure of a Petri net language is effectively computable. This is mainly done by using the notions defined for showing decidability of the reachability...
Peter Habermehl, Roland Meyer, Harro Wimmel
CIARP
2004
Springer
15 years 7 months ago
New Bounds and Approximations for the Error of Linear Classifiers
In this paper, we derive lower and upper bounds for the probability of error for a linear classifier, where the random vectors representing the underlying classes obey the multivar...
Luís G. Rueda
UML
2000
Springer
15 years 7 months ago
Extending OCL to include Actions
The UML's Object Constraint Language provides the modeller of object-oriented systems with ways to express the semantics of a model in a precise and declarative manner. The co...
Anneke Kleppe, Jos Warmer
FLAIRS
2007
15 years 6 months ago
Playing with Cases: Tempo Transformations of Jazz Performances Using Case-Based Reasoning
The research described here focuses on global tempo transformations of monophonic recordings of saxophone jazz performances. We have investigated the problem of how a performance ...
Ramon López de Mántaras, Maarten Gra...