Dataset - CKAN

Autonomous search

This dataset has no description

HTML

The Energetic Reasoning Checker Revisited

International audience

HTML

Constraint satisfaction programming for video summarization

International audience

HTML

Global constraints and splitting strategies for solving continuous CSP

Distance constraints are widely used in many applications ranging from robotics to chemistry and CAD. Classical tehniques for solving such continuous constraints are...

HTML

MDE 2.0 : Pragmatical formal model verification and other challenges

This document presents a synthesis of the research results conducted in the eld of software veri cation for model-driven engineering (MDE). MDE is becoming one of the...

HTML

A constraint programming approach for managing end-to-end requirements in sen...

International audience

HTML

Scalable multi-dimensional resources scheduling constraints

Constraint programming is an approach often used to solve combinatorial problems in different application areas. In this thesis we focus on the cumulative scheduling...

HTML

Constraint Programming Formulation for the Elevator Trip Origin-Destination M...

We present a constraint programming formulation for the elevator trip origin-destination matrix estimation problem, and propose different approaches to solve the...

HTML

Optimisation par hybridation d'un CSP avec un algorithme génétique

International audience

HTML

Slot allocation with constraint programming : models and results

Current European Air Traffic Control system is far exceeded by the demand and the resulting delays are a financial and psychological burden for airlines and...

HTML

Graph coloring for Air Traffic Flow Management

The aim of Air Traffic Flow Management (ATFM) is to enhance the capacity of the airspace while satisfying Air Traffic Control constraints and airlines requests to...

HTML

4D-trajectory deconfliction through departure time adjustment

International audience

HTML

Combining flight level allocation with ground holding to optimize 4D-deconfli...

As acknowledged by the SESAR program, current ATC systems must be drastically improved to accommodate the predicted traffic growth in Europe. In this context, the...

HTML

Deconfliction with constraint programming

Current European Air Traffic Control (ATC) system is far exceeded by the demand and the resulting delays are a financial and psychological burden for airlines and...

HTML

On the convergence of feasibility based bounds tightening

Global Optimization and Mixed-Integer Nonlinear Programming problems such as min{f(x) | gL ≤ g(x) ≤ gU ∧ xL ≤ x ≤ xU ∧ ∀j ∈ Z (xj ∈ Z)}, where f : Rn → R, g : Rn → Rm,...

HTML

Mixed conflict model for Air Traffic Control

Airspace congestion is today the most critical issue European Air Traffic Management (ATM) has to face. Current real-time Air Traffic Control (ATC) is achieved by...