Rennes

Results: 1341



#Item
151Language-based Construction of Explorable News Graphs for Journalists R´emi Bois and Guillaume Gravier CNRS, IRISA & INRIA Rennes 263 Avenue G´en´eral LeclercRennes, France

Language-based Construction of Explorable News Graphs for Journalists R´emi Bois and Guillaume Gravier CNRS, IRISA & INRIA Rennes 263 Avenue G´en´eral LeclercRennes, France

Add to Reading List

Source URL: www.aclweb.org

Language: English - Date: 2017-09-07 12:37:45
    152LNCSTransient Analysis of Networks of Stochastic Timed Automata Using Stochastic State Classes

    LNCSTransient Analysis of Networks of Stochastic Timed Automata Using Stochastic State Classes

    Add to Reading List

    Source URL: people.rennes.inria.fr

    Language: English - Date: 2013-09-13 09:23:19
      153師団 SIDAN Software Instrumentation for the Detection of Attacks on Non-control-data

      師団 SIDAN Software Instrumentation for the Detection of Attacks on Non-control-data

      Add to Reading List

      Source URL: www.rennes.supelec.fr

      Language: English - Date: 2009-10-02 10:35:44
        154Hybrid Information Flow Monitoring Against Web Tracking Frédéric Besson, Nataliia Bielova, and Thomas Jensen Inria Rennes, France Abstract—Motivated by the problem of stateless

        Hybrid Information Flow Monitoring Against Web Tracking Frédéric Besson, Nataliia Bielova, and Thomas Jensen Inria Rennes, France Abstract—Motivated by the problem of stateless

        Add to Reading List

        Source URL: people.rennes.inria.fr

        Language: English - Date: 2014-09-03 04:27:28
          155Event correlation with boxed pomsets Thomas Gazagnaire1 and Lo¨ıc H´elou¨et2 1 IRISA/ENS Cachan,Campus de Beaulieu, 35042 Rennes Cedex, France 2

          Event correlation with boxed pomsets Thomas Gazagnaire1 and Lo¨ıc H´elou¨et2 1 IRISA/ENS Cachan,Campus de Beaulieu, 35042 Rennes Cedex, France 2

          Add to Reading List

          Source URL: people.rennes.inria.fr

          Language: English - Date: 2016-01-30 18:26:49
            156Playing optimally on Timed Automata with Random Delays Nathalie Bertrand and Sven Schewe Inria Rennes - University of Liverpool Formats 2012

            Playing optimally on Timed Automata with Random Delays Nathalie Bertrand and Sven Schewe Inria Rennes - University of Liverpool Formats 2012

            Add to Reading List

            Source URL: people.rennes.inria.fr

            Language: English - Date: 2012-09-28 09:53:21
              157Scenario realizability with constraint optimization? Rouwaida Abdallah1 , Arnaud Gotlieb2 , Lo¨ıc H´elou¨et3 ,Claude Jard4 1 ENS Cachan (antenne de Bretagne), 2 SIMULA, Norway, 3 INRIA Rennes,

              Scenario realizability with constraint optimization? Rouwaida Abdallah1 , Arnaud Gotlieb2 , Lo¨ıc H´elou¨et3 ,Claude Jard4 1 ENS Cachan (antenne de Bretagne), 2 SIMULA, Norway, 3 INRIA Rennes,

              Add to Reading List

              Source URL: pagesperso.lina.univ-nantes.fr

              Language: English - Date: 2013-07-03 04:01:35
                158Fast Reflexive Arithmetic Tactics the linear case and beyond Fr´ed´eric Besson? Irisa/Inria, Campus de Beaulieu, 35042 Rennes Cedex, France Abstract. When goals fall in decidable logic fragments, users of proofassista

                Fast Reflexive Arithmetic Tactics the linear case and beyond Fr´ed´eric Besson? Irisa/Inria, Campus de Beaulieu, 35042 Rennes Cedex, France Abstract. When goals fall in decidable logic fragments, users of proofassista

                Add to Reading List

                Source URL: people.rennes.inria.fr

                Language: English - Date: 2014-09-03 04:27:19
                  159The steady-state control problem for Markov decision processes S. Akshay1,2 , Nathalie Bertrand1 , Serge Haddad3 , and Lo¨ıc H´elou¨et1 1 Inria Rennes, France

                  The steady-state control problem for Markov decision processes S. Akshay1,2 , Nathalie Bertrand1 , Serge Haddad3 , and Lo¨ıc H´elou¨et1 1 Inria Rennes, France

                  Add to Reading List

                  Source URL: people.rennes.inria.fr

                  Language: English - Date: 2015-02-28 19:23:04
                    160Complexit´e Moyenne Transparents de Lo¨ıc H´elou¨et Pr´epa agreg

                    Complexit´e Moyenne Transparents de Lo¨ıc H´elou¨et Pr´epa agreg

                    Add to Reading List

                    Source URL: people.rennes.inria.fr

                    Language: French - Date: 2016-01-26 04:36:13