Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine

Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.

Le cluster concurrent - programming

Terms

92concurrent
197programming
20pomdps
165solving
117constraint
133programs
60integer
54equations

Associations

Freq.WeightAssociation
310.230concurrent - programming
130.226pomdps - solving
280.202constraint - solving
290.191constraint - programming
200.181concurrent - programs
190.175integer - programming
160.170equations - solving
Documents par ordre de pertinence**** probable Xml problem ****
003E35 (2008-09-22) Raghav Aras [France] ; Alain Dutech [France] ; François Charpillet [France]Mixed Integer Linear Programming For Exact Finite-Horizon Planning In Decentralized Pomdps
004507 (2008) Raghav Aras [France] ; Alain Dutech [France] ; François Charpillet [France]Using linear programming duality for solving finite horizon Dec-POMDPs
005610 (2006) Alexander Bockmayr [France] ; Nicolai Pisaruk [France]Detecting infeasibility and generating cuts for mixed integer programming using constraint programming
007500 (2003) Damien Eveillard ; Arnaud Courtois ; Alexander BockmayrHybrid concurrent constraint programming : A well-suited formalism for modelling alternative splicing regulation (Abstract)
007E14 (2003) Damien Eveillard [France] ; Arnaud Courtois [France] ; Alexander Bockmayr [France]Hybrid concurrent constraint programming: A well-suited formalism for modelling alternative splicing regulation (Abstract)
008325 (2002) Alexander Bockmayr ; Arnaud CourtoisUsing hybrid concurrent constraint programming to model dynamic biological systems
008326 (2002) Alexander Bockmayr ; Arnaud CourtoisUsing hybrid concurrent constraint programming to model dynamic biological systems
008724 (2002) Alexander Bockmayr [France] ; Arnaud Courtois [France]Using Hybrid Concurrent Constraint Programming to Model Dynamic Biological Systems
008A35 (2002) Alexander Bockmayr [France] ; Arnaud Courtois [France]Using hybrid concurrent constraint programming to model dynamic biological systems
008A36 (2002) Alexander Bockmayr [France] ; Arnaud Courtois [France]Using hybrid concurrent constraint programming to model dynamic biological systems
008C32 (2001-11) Alexander Bockmayr [France] ; Arnaud Courtois [France]Modeling biological systems in hybrid concurrent constraint programming (Poster abstract)
008E91 (2001) Alexander Bockmayr ; Arnaud CourtoisModeling biological systems in hybrid concurrent constraint programming (Poster abstract)
009334 (2001) François Fages [France] ; Paul Ruet [France] ; Sylvain Soliman [France]Linear Concurrent Constraint Programming: Operational and Phase Semantics
00A490 (1999) Alexander Bockmayr ; Thomas KasperBranch-and-Infer : A Unifying Framework for Integer Linear Programming and Finite Domain Constraint Programming
00AD43 (1999) Alexander Bockmayr [France] ; Thomas KasperBranch-and-Infer: A Unifying Framework for Integer Linear Programming and Finite Domain Constraint Programming
00B320 (1998) P. Richard ; C. ProustSolving scheduling problems using Petri nets and constraint logic programming
00B379 (1998) Paul Ruet [France] ; François Fages [France]Concurrent constraint programming and non-commutative logic
00BC44 (1997) Nicolas Peltier [France]Increasing Model Building Capabilities by Constraint Solving on Terms with Integer Exponents
00C057 (1996) Paul Ruet [France]Logical semantics of concurrent constraint programming
000063 (2016-02-22) Jilles Steeve Dibangoye [France] ; Christopher Amato [États-Unis] ; Olivier Buffet [France] ; François Charpillet [France]Optimally Solving Dec-POMDPs as Continuous-State MDPs
000377 (2015-08-25) Hadrien Bride [France] ; Olga Kouchnarenko [France] ; Fabien Peureux [France]Constraint Solving for Verifying Modal Specifications of Workflow Nets with Data
000960 (2014-09-09) Hadrien Bride [France] ; Olga Kouchnarenko [France] ; Fabien Peureux [France]Verifying Modal Workflow Specifications Using Constraint Solving
000C33 (2014-04) Jilles Steeve Dibangoye [France] ; Christopher Amato [États-Unis] ; Olivier Buffet [France] ; François Charpillet [France]Optimally solving Dec-POMDPs as Continuous-State MDPs: Theory and Algorithms
001085 (2013-08-03) Jilles Steeve Dibangoye [France] ; Christopher Amato [États-Unis] ; Olivier Buffet [France] ; François Charpillet [France]Optimally Solving Dec-POMDPs as Continuous-State MDPs
001376 (2013) Vincent Cheval [Royaume-Uni] ; Véronique Cortier [France] ; Stéphanie Delaune [France]Deciding equivalence-based properties using constraint solving
002F13 (2010) Raghav Aras [France] ; Alain Dutech [France]An investigation into Mathematical Programming for Finite Horizon Decentralized POMDPs
003453 (2009-07-26) Pierre Le Bodic [France] ; Hervé Locteau [France] ; Sébastien Adam [France] ; Pierre Héroux [France] ; Yves Lecourtier [France] ; Arnaud Knippel [France]Symbol Detection Using Region Adjacency Graphs and Integer Linear Programming
003616 (2009-05-03) Wilfried Kirschenmann [France] ; Laurent Plagne [France] ; Stéphane Ploix [France] ; Angélique Ponçot [France] ; Stéphane Vialle [France]Massively Parallel Solving of 3D Simplified PN Equations on Graphics Processing Units
003D01 (2009) Raghav Aras [France] ; Alain Dutech [France]An investigation into Mathematical Programming for Finite Horizon Decentralized POMDPs
004B80 (2007) Stephan Frank [Allemagne] ; Petra Hofstedt [Allemagne] ; Peter Pepper [Allemagne] ; Dirk Reckmann [Allemagne]Solution Strategies for Multi-domain Constraint Logic Programs
005107 (2006-06) Daniel Szer [France] ; François Charpillet [France]Point-based Dynamic Programming for DEC-POMDPs
005409 (2006) Shu-Heng Chen [Taïwan] ; Nicolas Navet [Taïwan, France]Pretests for Genetic-Programming Evolved Trading Programs: “zero-intelligence” Strategies and Lottery Trading
005894 (2005-10) Daniel Szer [France] ; François Charpillet [France]An Optimal Best-first Search Algorithm for Solving Infinite Horizon DEC-POMDPs
005959 (2005-07-26) Daniel Szer [France] ; François Charpillet [France] ; Shlomo Zilberstein [États-Unis]MAA*: A Heuristic Search Algorithm for Solving Decentralized POMDPs
005978 (2005-07) Fabrice Bouquet [France] ; Frédéric Dadeau [France] ; Bruno Legeard [France]Using Constraint Logic Programming for the Symbolic Animation of Formal Models
005A14 (2005-06) Daniel Szer [France] ; François Charpillet [France]Solving Infinite Horizon DEC-POMDPs by Best-First Search
005D72 (2005) Daniel Szer ; François CharpilletAn Optimal Best-first Search Algorithm for Solving Infinite Horizon DEC-POMDPs
005F39 (2005) Daniel Szer ; François CharpilletSolving Infinite Horizon DEC-POMDPs by Best-First Search
005F85 (2005) Daniel Szer ; François Charpillet ; Shlomo ZilbersteinMAA* : A Heuristic Search Algorithm for Solving Decentralized POMDPs
006307 (2005) Daniel Szer [France] ; François Charpillet [France]An Optimal Best-First Search Algorithm for Solving Infinite Horizon DEC-POMDPs
006633 (2004-07) Yannick Chevalier [France]A Simple Constraint-solving Decision Procedure for Protocols with Exclusive or
006897 (2004) Yannick ChevalierA Simple Constraint-solving Decision Procedure for Protocols with Exclusive or
006C38 (2004) K. Subramani [États-Unis]Analyzing Selected Quantified Integer Programs
006D26 (2004) Damien Eveillard [France] ; Delphine Ropers [France] ; Hidde De Jong [France] ; Christiane Branlant [France] ; Alexander Bockmayr [France]A multi-scale constraint programming model of alternative splicing regulation
007109 (2004) Yannick Chevalier [France]A Simple Constraint-solving Decision Procedure for Protocols with Exclusive or
007516 (2003) Damien Eveillard ; Delphine Ropers ; Hidde De Jong ; Christiane Branlant ; Alexander BockmayrA Multi-Site Constraint Programming Model of Alternative Splicing Regulation
007562 (2003) Alexander Bockmayr ; Vladimir Lunin ; Alexandre UrzhumtsevA binary integer programming approach for the determination of structures of biological macromolecules
007A28 (2003) Eva K. Lee [États-Unis] ; Marco Zaider [États-Unis]Mixed Integer Programming Approaches to Treatment Planning for Brachytherapy – Application to Permanent Prostate Implants
007A82 (2003) Alexander Bockmayr [France]Constraint Programming in Computational Molecular Biology
007E91 (2003) Alexander Bockmayr [France] ; Vladimir Y. Lunin ; Alexandre UrzhumtsevA binary integer programming approach for the determination of structures of biological macromolecules
007E96 (2003) Damien Eveillard [France] ; Delphine Ropers [France] ; Hidde De Jong ; Christiane Branlant ; Alexander Bockmayr [France]A Multi-Site Constraint Programming Model of Alternative Splicing Regulation
008376 (2002) Ernst Althaus ; Alexander Bockmayr ; Matthias Elf ; Thomas Kasper ; Michael Jünger ; Kurt MehlhornSCIL - Symbolic Constraints in Integer Linear Programming
008457 (2002) Vladimir Y. Lunin ; Alexandre Urzhumtsev ; Alexander BockmayrDirect phasing by binary integer programming
008468 (2002) Vladimir Y. Lunin ; Alexandre Urzhumtsev ; Alexander BockmayrBinary integer programming and its use for envelope determination
008748 (2002) Ernst Althaus [États-Unis] ; Alexander Bockmayr [France] ; Matthias Elf [Allemagne] ; Michael Jünger [Allemagne] ; Thomas Kasper [Allemagne] ; Kurt Mehlhorn [Allemagne]SCIL — Symbolic Constraints in Integer Linear Programming
008916 (2002) Vladimir Y. Lunin [Russie, France] ; Alexandre Urzhumtsev [France] ; Alexander Bockmayr [France]Direct phasing by binary integer programming
008A72 (2002) Ernst Althaus ; Alexander Bockmayr [France] ; Matthias Elf ; Thomas Kasper ; Michael Jünger ; Kurt MehlhornSCIL - Symbolic Constraints in Integer Linear Programming
008B52 (2002) Vladimir Y. Lunin ; Alexandre Urzhumtsev ; Alexander Bockmayr [France]Direct phasing by binary integer programming
008B76 (2002) Vladimir Y. Lunin ; Alexandre Urzhumtsev ; Alexander Bockmayr [France]Binary integer programming and its use for envelope determination
008C59 (2001-09) Daniel Lazard [France]Solving systems of algebraic equations
008E38 (2001) Helene Kirchner ; Pierre-Etienne MoreauPromoting Rewriting to a Programming Language : A Compiler for Non-Deterministic Rewrite Programs in Associative-Commutative Theories
008F86 (2001) Alexander Bockmayr ; Nicolai Pisaruk ; Abderrahmane AggounNetwork flow problems in constraint programming
008F98