285 citations
- Centre National de la Recherche ScientifiqueFR8 papers
- Laboratoire Lorrain de Recherche en Informatique et ses ApplicationsFR5 papers
- Centre Inria de l'université de BordeauxFR3 papers
- CERMICSFR3 papers
- École Normale Supérieure de LyonFR3 papers
- Université de LorraineFR3 papers
- Institut Élie Cartan de LorraineFR2 papers
- Laboratoire d'Informatique de GrenobleFR2 papers
- RMIT UniversityAU2 papers
- Université Grenoble AlpesFR2 papers
- California Institute of TechnologyUS1 paper
- Cancer et génome: Bioinformatique, biostatistiques et épidémiologie des systèmes complexes1 paper
Showing 2002Show all
2 papers · 1 filter
math.FA2002★ 234 cited
Duality and separation theorems in idempotent semimodules
Guy Cohen, Stephane Gaubert, Jean-Pierre Quadrat
We consider subsemimodules and convex subsets of semimodules over semirings with an idempotent addition. We introduce a nonlinear projection on subsemimodules: the projection of a…
cs.SE2002★ 6 cited
CLPGUI: a generic graphical user interface for constraint logic programming over finite domains
Francois Fages
CLPGUI is a graphical user interface for visualizing and interacting with constraint logic programs over finite domains. In CLPGUI, the user can control the execution of a CLP prog…