Sciweavers

4903 search results - page 290 / 981
» The Set Covering Machine
Sort
View
APIN
2008
100views more  APIN 2008»
15 years 6 months ago
A case-based approach for characterization and analysis of subgroup patterns
In general, cases capture knowledge and concrete experiences of specific situations. By exploiting case-based knowledge for characterizing a subgroup pattern, additional informati...
Martin Atzmüller, Frank Puppe
CORR
2008
Springer
112views Education» more  CORR 2008»
15 years 6 months ago
Compact Labelings For Efficient First-Order Model-Checking
We consider graph properties that can be checked from labels, i.e., bit sequences, of logarithmic length attached to vertices. We prove that there exists such a labeling for check...
Bruno Courcelle, Cyril Gavoille, Mamadou Moustapha...
ASE
2006
104views more  ASE 2006»
15 years 6 months ago
On the Systematic Analysis of Natural Language Requirements with C
This paper presents CIRCE, an environment for the analysis of natural language requirements. CIRCE is first presented in terms of its architecture, based on a transformational para...
Vincenzo Ambriola, Vincenzo Gervasi
EOR
2007
90views more  EOR 2007»
15 years 6 months ago
Arc routing problems with time-dependent service costs
This paper studies an arc routing problem with capacity constraints and time-dependent service costs. This problem is motivated by winter gritting applications where the ‘‘tim...
Mariam Tagmouti, Michel Gendreau, Jean-Yves Potvin
IJHIS
2007
89views more  IJHIS 2007»
15 years 6 months ago
A new hybrid heuristic for driver scheduling
This paper describes a new hybrid method based on the application of the Population Training Algorithm (PTA) and linear programming (LP) for generation of schedules for drivers in...
Geraldo R. Mauri, Luiz Antonio Nogueira Lorena