5203 search results - page 825 / 1041 » An approach to workflow modeling and analysis |
147
click to vote
IAJIT
2010
15 years 5 months ago
2010
: Warehouses scheduling is the problem of sequencing requests of products to fulfill several customers’ orders so as to minimize the average time and shipping costs. In this pape...
295
click to vote
LPAR
2010
Springer
15 years 4 months ago
2010
Springer
Craig interpolation has become a key ingredient in many symbolic model checkers, serving as an approximative replacement for expensive quantifier elimination. In this paper, we foc...
149
click to vote
COLING
2010
15 years 1 months ago
2010
While subjectivity related research in other languages has increased, most of the work focuses on single languages. This paper explores the integration of features originating fro...
155
click to vote
TIT
2011
15 years 1 months ago
2011
Motivated by a broad range of potential applications, we address the quantile prediction problem of real-valued time series. We present a sequential quantile forecasting model bas...
169
click to vote
JMLR
2010
15 years 1 months ago
2010
We propose a novel group regularization which we call exclusive lasso. Unlike the group lasso regularizer that assumes covarying variables in groups, the proposed exclusive lasso ...