#### Filter Results:

- Full text PDF available (38)

#### Publication Year

1989

2013

- This year (0)
- Last five years (1)

#### Publication Type

#### Co-author

#### Publication Venue

#### Key Phrases

Learn More

- Nicolas Barnier, Pascal Brisset
- Annals OR
- 2004

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 optimize their operating costs. This paper presents a design of a new route network that tries to optimize these criteria. The basic idea is to consider direct routes only and to vertically… (More)

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 passengers. The Central Flow Management Unit, in charge of regulating the flights to respect en-route capacity constraints of Air Traffic Control Centres, uses a greedy algorithm to allocate departure… (More)

- Nicolas Barnier, Pascal Brisset
- Constraints
- 2005

- Thom W. Frühwirth, Pascal Brisset
- CP
- 1998

Planning of local wireless communication networks is about installing base stations (small radio transmitters) to provide wireless devices with strong enough signals. POPULAR is an advanced industrial prototype that allows to compute the minimal number of base stations and their location given a blueprint of the installation site and information about the… (More)

- Pascal Brisset, Olivier Ridoux
- ICLP
- 1991

We propose a new implementation of logic programming with higher-order terms. In order to illustrate the properties of our implementation, we apply the coding of lists as functions to the context of logic programming. As a side-eeect, we show that higher-order uniication is a good tool for manipulating the function-lists. It appears that the eeciency of the… (More)

- Bertrand Co, Pascal Brisset, Igor St
- 1995

Optical Music Recognition is a particular form of document analysis in which there is much knowledge about document structure. Indeed there exists an important set of rules for musical notation, but current systems do not fully use them. We propose a new solution using a grammar to guide the segmentation of the graphical objects and their recognition. The… (More)

- Pascal Brisset, Olivier Ridoux
- ILPS Workshop: Implementation Techniques for…
- 1994

Prolog is a logic programming language accepting a more general clause form than standard Prolog (namely hereditary Harrop formulas instead of Horn formulas) and using simply typed-terms as a term domain instead of rst order terms. Despite these extensions, it is still amenable to goal-directed proofs and can still be given procedural semantics. However,… (More)

- Nicolas Barnier, Pascal Brisset
- CP
- 2002

The Social Golfer Problem has been extensively used in recent years by the constraint community as an example of highly symmetric problem. It is an excellent problem for benchmarking symmetry breaking mechanisms such as SBDS or SBDD and for demonstrating the importance of the choice of the right model for one problem. We address in this paper a specific… (More)

Continuations are well known in functional programming where they have been used to transform and compile programs. Some languages provide explicit manipulations of the continuation for the user: The user can catch and modify the current continuation. Continuations have also been used in the logic programming context to give a denotational semantics for… (More)

FaCiLe is an open source constraint programming library over integer nite domain written in OCaml, a functional language of the ML family. It oers all usual constraint system facilities to create and handle nite domain variables, arithmetic constraints (possibly non-linear), built-in global constraints and search goals. FaCiLe allows as well to build easily… (More)