Sciweavers

34 search results - page 4 / 7
» Constraint Programming Based Column Generation for Crew Assi...
Sort
View
ATMOS
2007
119views Optimization» more  ATMOS 2007»
13 years 7 months ago
Models for Railway Track Allocation
The optimal track allocation problem (OPTRA) is to find, in a given railway network, a conflict free set of train routes of maximum value. We study two types of integer programmi...
Ralf Borndörfer, Thomas Schlechte
TMC
2008
104views more  TMC 2008»
13 years 5 months ago
Minimum Interference Channel Assignment in Multiradio Wireless Mesh Networks
In this paper, we consider multihop wireless mesh networks, where each router node is equipped with multiple radio interfaces, and multiple channels are available for communication...
Anand Prabhu Subramanian, Himanshu Gupta, Samir R....
RR
2009
Springer
13 years 10 months ago
Integrating Logic Programming and Production Systems in Abductive Logic Programming Agents
In this paper we argue the case for integrating the distinctive functionalities of logic programs and production systems within an abductive logic programming agent framework. In t...
Robert A. Kowalski, Fariba Sadri
POPL
2009
ACM
14 years 6 months ago
Automatic modular abstractions for linear constraints
c Modular Abstractions for Linear Constraints David Monniaux VERIMAG June 27, 2008 se a method for automatically generating abstract transformers for static by abstract interpreta...
David Monniaux
SECON
2007
IEEE
14 years 1 days ago
Minimum Interference Channel Assignment in Multi-Radio Wireless Mesh Networks
—In this paper, we consider multi-hop wireless mesh networks, where each router node is equipped with multiple radio interfaces and multiple channels are available for communicat...
Anand Prabhu Subramanian, Himanshu Gupta, Samir R....