115 search results - page 9 / 23 » Type-Based Optimization for Regular Patterns |
CPAIOR
2009
Springer
14 years 2 months ago
2009
Springer
This paper introduces a global constraint encapsulating a regular constraint together with several cumulative costs. It is motivated in the context of personnel scheduling problems...
SSPR
2004
Springer
14 years 26 days ago
2004
Springer
The integrated approach is a classifier established on statistical estimator and artificial neural network. This consists of preliminary data whitening transformation which provide...
KDD
2009
ACM
14 years 8 months ago
2009
ACM
Mining discrete patterns in binary data is important for subsampling, compression, and clustering. We consider rankone binary matrix approximations that identify the dominant patt...
KDD
2010
ACM
13 years 9 months ago
2010
ACM
We consider the problem of learning incoherent sparse and lowrank patterns from multiple tasks. Our approach is based on a linear multi-task learning formulation, in which the spa...
PADL
2010
Springer
14 years 4 months ago
2010
Springer
Abstract. We show how testing convertibility of two types in dependently typed systems can advantageously be implemented instead untyped normalization by evaluation, thereby reusin...