From the 1 of 5.5k papers with an AI index.
- Centre National de la Recherche ScientifiqueFR1.7k papers
- Centre Inria de SaclayFR364 papers
- École PolytechniqueFR306 papers
- Laboratoire Lorrain de Recherche en Informatique et ses ApplicationsFR300 papers
- École Normale Supérieure - PSLFR292 papers
- Sorbonne UniversitéFR291 papers
- École Normale Supérieure de LyonFR233 papers
- Centre Inria de l'Université Grenoble AlpesFR216 papers
- Université Paris-SaclayFR208 papers
- Université Grenoble AlpesFR204 papers
- Lyon 1 UniversitéFR191 papers
- Centre Inria d'Université Côte d'AzurFR183 papers
5 papers · 1 filter
HyperPro An integrated documentation environment for CLP
AbdelAli Ed-Dbali, Pierre Deransart, Mariza A. S. Bigonha +2
The purpose of this paper is to present some functionalities of the HyperPro System. HyperPro is a hypertext tool which allows to develop Constraint Logic Programming (CLP) togethe…
The APENEXT project
F. Bodin, P. Boucaud, N. Cabibbo +31
APENEXT is a new generation APE processor, optimized for LGT simulations. The project follows the basic ideas of previous APE machines and develops simple and cheap parallel system…
Spectral Theorem for Convex Monotone Homogeneous Maps, and Ergodic Control
Marianne Akian, Stephane Gaubert
We consider convex maps f:R^n -> R^n that are monotone (i.e., that preserve the product ordering of R^n), and nonexpansive for the sup-norm. This includes convex monotone maps that…
The Perron-Frobenius Theorem for Homogeneous, Monotone Functions
Stephane Gaubert, Jeremy Gunawardena
If A is a nonnegative matrix whose associated directed graph is strongly connected, the Perron-Frobenius theorem asserts that A has an eigenvector in the positive cone, (R^+)^n. We…
Well-Typed Logic Programs Are not Wrong
Pierre Deransart, Jan-Georg Smaus
We consider prescriptive type systems for logic programs (as in Goedel or Mercury). In such systems, the typing is static, but it guarantees an operational property: if a program i…