3335 search results - page 446 / 667 » A Unified Approach to Modeling and Programming |
192
click to vote
CP
2007
Springer
16 years 19 days ago
2007
Springer
While many real-world combinatorial problems can be advantageously modeled and solved using Constraint Programming, scalability remains a major issue in practice. Constraint models...
197
click to vote
ISMIR
2004
Springer
15 years 12 months ago
2004
Springer
High-Level music descriptors are key ingredients for music information retrieval systems. Although there is a long tradition in extracting information from acoustic signals, the f...
222
click to vote
JMLR
2012
13 years 9 months ago
2012
Graph partitioning algorithms play a central role in data analysis and machine learning. Most useful graph partitioning criteria correspond to optimizing a ratio between the cut a...
166
click to vote
CPHYSICS
2010
15 years 6 months ago
2010
In this paper, a programming model is presented which enables scalable parallel performance on multi-core shared memory architectures. The model has been developed for application...
151
click to vote
ENTCS
2002
15 years 6 months ago
2002
Category theory has proved a useful tool in the study of type systems for sequential programming languages. Various approaches have been proposed to use categorical models to exam...