14244 search results - page 2460 / 2849 » Modeling Program Predictability |
117
click to vote
HM
2010
Springer
15 years 4 months ago
2010
Springer
The problem of designing workforce shifts and break patterns is a relevant employee scheduling problem that arises in many contexts, especially in service industries. The issue is ...
134
click to vote
ATAL
2010
Springer
15 years 4 months ago
2010
Springer
We extend the framework of mixed multi-unit combinatorial auctions to include time constraints, present an expressive bidding language, and show how to solve the winner determinati...
148
click to vote
ACTAC
2008
15 years 4 months ago
2008
We present an ecient hybrid method for aligning sentences with their translations in a parallel bilingual corpus. The new algorithm is composed of a length-based and anchor matchi...
123
Voted
AMC
2008
15 years 4 months ago
2008
Abstract Nowadays many real problems can be modelled as Constraint Satisfaction Problems (CSPs). A search algorithm for constraint programming requires an order in which variables ...
104
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Nested words, a model for recursive programs proposed by Alur and Madhusudan, have recently gained much interest. In this paper we introduce quantitative extensions and study neste...