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 random - walks

Terms

129random
19walks
152generation
87test

Associations

Freq.WeightAssociation
150.303random - walks
280.243generation - test
210.150generation - random
Documents par ordre de pertinence
000228 (2015-11-19) Jean-Marie Gauthier [France]Combining Discrete and Continuous Domains for SysML-Based Simulation and Test Generation
000397 (2015-08-18) Pierre-Cyrille Heam [France] ; Jean-Luc Joly [France]On the Uniform Random Generation of Non Deterministic Automata Up to Isomorphism
000399 (2015-08-18) Pierre-Cyrille Héam [France] ; Jean-Luc Joly [France]Random Generation and Enumeration of Accessible Determinisitic Real-time Pushdown Automata
000552 (2015-05-05) Horatiu Cirstea [France] ; Pierre-Etienne Moreau [France] ; Emilie Balland [France]A Java Framework for Test Data Generation
000852 (2014-12-02) Pierre-Cyrille Héam [France] ; Jean-Luc Joly [France]On the Uniform Random Generation of Determinisitic Partially Ordered Automata using Monte Carlo Techniques
000A20 (2014-07-24) Guillaume Petiot [France] ; Nikolai Kosmatov [France] ; Alain Giorgetti [France] ; Jacques Julliand [France]How Test Generation Helps Software Specification and Deductive Verification in Frama-C
000A38 (2014-07-16) Ivan Enderlin [France]Automated Unit Test Generation with Praspel, a Specification Language for PHP
000D31 (2014) Jérome Cantenot [France] ; Fabrice Ambert [France] ; Fabrice Bouquet [France]Test generation with SMT solvers in Model Based Testing
000D52 (2014) Fabrice Bouquet [France] ; Fabien Peureux [France] ; Fabrice Ambert [France]Model-Based Testing for Functional and Security Test Generation
000F24 (2013-11-28) Kalou Cabrera Castillos [France]Automated test scenario generation from termporal properties and behavioural models
000F38 (2013-11-13) Jérome Cantenot [France]Strategy for test generation from UML/OCL models with a first order logic and constraints system solvers for model interpretation
001276 (2013-03-18) Frédéric Dadeau [France] ; Kalou Cabrera Castillos [France] ; Yves Ledru [France] ; Taha Triki [France] ; German Vega [France] ; Julien Botella ; Safouan Taha [France]Test Generation and Evaluation from High-Level Properties for Common Criteria Evaluations -- The TASCCC Testing Tool
002091 (2011-09-27) Irina Illina [France] ; Dominique Fohr [France] ; Denis Jouvet [France]Multiple Pronunciation Generation using Grapheme-to-Phoneme Conversion based on Conditional Random Fields
002157 (2011-09) Frédéric Dadeau [France] ; Fabien Peureux [France] ; Bruno Legeard [France] ; Régis Tissot [France] ; Jacques Julliand [France] ; Pierre-Alain Masson [France] ; Fabrice Bouquet [France]Test Generation using Symbolic Animation of Models
002256 (2011-06-30) Omar Chebaro [France] ; Nikolai Kosmatov [France] ; Alain Giorgetti [France] ; Jacques Julliand [France]The SANTE Tool: Value Analysis, Program Slicing and Test Generation for C Program Debugging
002411 (2011-03-22) Frédéric Dadeau [France] ; Pierre-Cyrille Héam [France] ; Rafik Kheddam [France]Mutation-Based Test Generation from Security Protocols in HLPSL
002412 (2011-03-21) Elizabeta Fourneret [France] ; Fabrice Bouquet [France] ; Frédéric Dadeau [France] ; Stéphane Debricon [France]Selective Test Generation Method for Evolving Critical Systems
002414 (2011-03-21) Kalou Cabrera Castillos [France] ; Julien Botella [France]Scenario Based Test Generation Using Test Designer
002496 (2011) Jonathan Lasalle [France] ; Fabrice Bouquet [France] ; Bruno Legeard [France] ; Fabien Peureux [France]SysML to UML model transformation for test generation purpose
002977 (2010-11-02) Pierre-Cyrille Heam [France] ; Vincent Hugot [France] ; Olga Kouchnarenko [France]Random Generation of Positive TAGEDs wrt. the Emptiness Problem
002D58 (2010-04-10) Fabrice Bouquet [France] ; Pierre-Christophe Bué [France] ; Jacques Julliand [France] ; Pierre-Alain Masson [France]Test Generation Based on Abstraction and Test Purposes to Complement Structural Tests
002E78 (2010) Pierre-Cyrille Heam [France] ; Cyril Nicaud [France] ; Sylvain Schmitz [France]Parametric Random Generation of Deterministic Tree Automata
003088 (2010) R. Schott [France] ; G. S. Staples [États-Unis]Dynamic random walks in Clifford algebras
003252 (2010) René Schott [France] ; Stacey Staples [États-Unis]Dynamic random walks on Clifford algebras
003255 (2010) Omar Chebaro [France] ; Nikolaï Kosmatov [France] ; Alain Giorgetti [France] ; Jacques Julliand [France]Combining Static Analysis and Test Generation for {C} Program Debugging
003371 (2009-10) Frédéric Dadeau [France] ; Pierre-Cyrille Héam [France] ; Jocelyn Levrey [France]On the Use of Uniform Random Generation of Automata for Testing
003483 (2009-07-14) Pierre-Cyrille Héam [France] ; Cyril Nicaud [France] ; Sylvain Schmitz [France]Random Generation of Deterministic Tree (Walking) Automata
003749 (2009) C. R. E. Raja [Inde] ; René Schott [France]Recurrent random walks on homogeneous spaces of p-adic algebraic groups of polynomial growth
004023 (2008-05) Jens Gustedt [France]Engineering Parallel In-Place Random Generation of Integer Permutations
004326 (2008) C. Robinson Edward Raja [Inde] ; René Schott [France]Recurrent random walks on homogeneous spaces of p -adic algebraic groups of polynomial growth
004516 (2008) Dirk Seifert [France]Test Case Generation from UML State Machines
004531 (2008) René Schott [France] ; Stacey Staples [États-Unis]Random Walks on Clifford Algebras as Directed Hypercubes
004583 (2008) Nadine Guillotin--Plantard [France] ; René Schott [France]Dynamic quantum Bernoulli random walks
004591 (2008) Dirk Seifert [France]Conformance Testing based on UML State Machines: Automated Test Case Generation, Execution and Evaluation
005049 (2006-08) Fabrice Bouquet [France] ; Frédéric Dadeau [France] ; Bruno Legeard [France]Automated Boundary Test Generation from JML Specifications
005229 (2006) Fabrice Bouquet [France] ; Frédéric Dadeau [France] ; Julien Groslambert [France] ; Jacques Julliand [France]Safety Property Driven Test Generation from {JML} Specifications
005497 (2006) Nadine Guillotin-Plantard [France] ; René Schott [France]Dynamic Random Walks on Heisenberg Groups
005782 (2006) Nadine Guillotin-Plantard [France] ; René Schott [France]Dynamics random walks on Heisenberg groups
005790 (2006) Nadine Guillotin-Plantard [France] ; René Schott [France]DYNAMIC RANDOM WALKS, Theory and Applications
005E01 (2005) Gaurav GoelComputing the Probability Vectors for Random Walks on Graphs with Bounded Arboricity
006540 (2005) Gaurav Goel [France]Computing the Probability Vectors for Random Walks on Graphs with Bounded Arboricity
009C37 (2000) Ousmane Koné ; Richard CastanetTest generation for interworking systems
009E18 (2000) O. Koné [France] ; R. Castanet [France]Test generation for interworking systems
00A542 (1999) Alain Denise ; Paul ZimmermannUniform Random Generation of Decomposable Structures Using Floating-Point Arithmetic
00A543 (1999) Alain Denise ; Paul ZimmermannUniform Random Generation of Decomposable Structures Using Floating-Point Arithmetic
00A607 (1999) Sergiu Adrian DarabantCurrent Technologies in Automatic Test Suites Generation and Verification of Complex Systems
00AD34 (1999) Sergiu Adrian Darabant [France]Current Technologies in Automatic Test Suites Generation and Verification of Complex Systems
00B118 (1998) Ousmane Koné ; Richard Castanet ; Patrice LaurencotOn the fly test generation for real time protocols
00B610 (1998) Ousmane Koné [France] ; Richard Castanet [France] ; Patrice Laurencot [France]On the fly test generation for real time protocols
00C533 (1995) L. Alonso ; R. SchottRandom Generation of Colored Trees
00C573 (1995) L. Alonso ; R. SchottRandom Generation of Trees
00C715 (1995) L. Alonso [France] ; R. Schott [France]Random generation of colored trees
00C826 (1995) P. Zimmermann [France]Uniform random generation for the powerset construction
00C937 (1994) Philippe Flajolet [France] ; Paul Zimmermann [France] ; Bernard Van CutsemA Calculus for the Random Generation of Labelled Combinatorial Structures
00CA69 (1994) P. ZimmermannGaïa : A Package for the Random Generation of Combinatorial Structures
00CB32 (1994) G. Louchard ; R. Schott ; M. Tolley ; P. ZimmermannRandom Walks, Heat Equation and Distributed Algorithms
00CB36 (1994) P. Flajolet ; P. Zimmermann ; B. Van CutsemA Calculus for the Random Generation of Combinatorial Structures
00CD72 (1994) G. Louchard [Belgique] ; R. Schott [France] ; M. Tolley ; P. Zimmermann [France]Random walks, heat equation and distributed algorithms
00CD84 (1994) G. Louchard ; R. Schott ; M. Tolley ; P. Zimmermann [France]Random walks, heat equation and distributed algorithms
00CD88 (1994) Paul Zimmermann [France]Gaïa: a package for the random generation of combinatorial structures
00D234 (1993) Philippe Flajolet [France] ; Paul Zimmermann [France] ; Bernard Van Cutsem [France]A calculus of random generation
00D249 (1993) Philippe Flajolet [France] ; Paul Zimmermann [France] ; B. Van CustemA Calculus for the random generation of combinatorial structures
00E699 (1986) R. SchottRandom walks on trees
00EA55 (1985) L. Bougé [France] ; N. Choquet [France] ; L. Fribourg [France] ; M. C. Gaudel [France]Application of PROLOG to test sets generation from algebraic specifications
000006 (2016-07-13) Dietmar Jannach [Allemagne] ; Iman Kamehkhosh [Allemagne] ; Geoffray Bonnin [France]Biases in Automated Music Playlist Generation: A Comparison of Next-Track Recommending Techniques
000049 (2016-04) Andrés Aristizábal [Colombie] ; Dariusz Biernacki [Pologne] ; Sergueï Lenglet [France] ; Piotr Polesiuk [Pologne]Environmental Bisimulations for Delimited-Control Operators with Dynamic Prompt Generation
000104 (2016) Marc Glisse [France] ; Sylvain Lazard [France] ; Julien Michel [France] ; Marc Pouget [France]Silhouette of a random polytope
000294 (2015-10-05) Dmitry Sokolov [France] ; Nicolas Ray [France]Fixing normal constraints for generation of polycubes
000299 (2015-10) Olivier Devillers [France] ; Ross Hemsley [France]The worst visibility walk in a random Delaunay triangulation is $O(\sqrt{n})$
000334 (2015-09-07) Aleksey Buzmakov [France] ; Sergei O. Kuznetsov [Russie] ; Amedeo Napoli [France]Fast Generation of Best Interval Patterns for Nonmonotonic Constraints
000653 (2015-01-13) Na Liu [France] ; Antoine Liutkus [France] ; Jean-François Aubry [France] ; Laurent Marsac [France] ; Mickael Tanter [France] ; Laurent Daudet [France]Random Calibration for Accelerating MR-ARFI Guided Ultrasonic Focusing in Transcranial Therapy
000704 (2015) Arnaud Botella [France] ; Bruno Lévy [France] ; Guillaume Caumon [France]Indirect Unstructured Hex-dominant Mesh Generation Using Tetrahedra Recombination
000763 (2015) P. Campus [Italie] ; V. Colelli [Italie] ; C. Orsini [Italie] ; D. Sarra [Italie] ; S. Cabib [Italie]Evidence for the involvement of extinction-associated inhibitory learning in the forced swimming test.
000790 (2015) Richard Genestier [France] ; Alain Giorgetti [France] ; Guillaume Petiot [France]Sequential generation of structured arrays and its deductive verification
000922 (2014-09-29) Roland Badeau [France] ; Antoine Liutkus [France]Proof of Wiener-like linear regression of isotropic complex symmetric alpha-stable random variables
000926 (2014-09-28) Emmanuelle Gaillard [France] ; Jean Lieber [France] ; Emmanuel Nauer [France]Case-Based Cooking with Generic Computer Utensils: Taaable Next Generation
000970 (2014-09-01) Nabil Ghanmi [France] ; Belaïd Abdel [France]Table detection in handwritten chemistry documents using conditional random fields
000A97 (2014-06-19) Laurence Danlos [France] ; Aleksandre Maskharashvili [France] ; Sylvain Pogodalla [France]An ACG Analysis of the G-TAG Generation Process
000B60 (2014-05-15) Zhonggui Chen [République populaire de Chine] ; Wenping Wang [Hong Kong] ; Bruno Lévy [France] ; Ligang Liu [République populaire de Chine] ; Feng Sun [Hong Kong]Revisiting Optimal Delaunay Triangulation for 3D Graded Mesh Generation
000D32 (2014) Claire Gardent [France]Syntax and Data-to-Text Generation
000D58 (2014) Francis Comets [France] ; François Delarue [France] ; René Schott [France]Information Transmission under Random Emission Constraints
000D86 (2014) Aloïs Dreyfus [France] ; Pierre-Cyrille Héam [France] ; Olga Kouchnarenko [France] ; Catherine Masson [France]A random testing approach using pushdown automata
000E75 (2014) Denis Roegel [France]Easter-based walks on a sphere
000F17 (2013-12-02) Alois Dreyfus [France] ; Pierre-Cyrille Heam [France] ; Olga Kouchnarenko [France] ; Catherine Masson [France]A Random Testing Approach Using Pushdown Automata
001061 (2013-08-25) Dominique Fohr [France] ; Odile Mella [France]Combination of Random Indexing based Language Model and N-gram Language Model for Speech Recognition
001132 (2013-07) Marc Glisse [France] ; Sylvain Lazard [France] ; Julien Michel [France] ; Marc Pouget [France]Silhouette of a random polytope
001203 (2013-06) Olivier Devillers [France] ; Marc Glisse [France] ; Xavier Goaoc [France]Complexity Analysis of Random Geometric Structures Made Simpler
001218 (2013-05-27) Gérôme Canals [France] ; Amélie Cordier [France] ; Emmanuel Desmontils [France] ; Laura Infante-Blanco [France] ; Emmanuel Nauer [France]Collaborative Knowledge Acquisition under Control of a Non-Regression Test System
001220 (2013-05-26) Lucie Daubigney [France] ; Matthieu Geist [France] ; Olivier Pietquin [France]Random Projections: a Remedy for Overfitting Issues in Time Series Prediction with Echo State Networks
001245 (2013-04-19) Laura Haide Perez [France]Natural Language Generation for Language Learning
001277 (2013-03-18) Alois Dreyfus [France] ; Pierre-Cyrille Heam [France] ; Olga Kouchnarenko [France]Random Grammar-based Testing for Covering All Non-Terminals
001347 (2013) Olivier Devillers [France] ; Marc Glisse [France] ; Xavier Goaoc [France] ; Guillaume Moroz [France] ; Matthias Reitzner [Allemagne]The monotonicity of $f$-vectors of random polytopes
001562 (2013) Julie Lapointe [Canada] ; Michel Dorval [Canada] ; Catherine Noguès [France] ; Roxane Fabre [France] ; Claire Julian-Reynier [France]Is the psychological impact of genetic testing moderated by support and sharing of test results to family and friends?
001880 (2012-10-29) Mingqiang Xue [Singapour] ; Panagiotis Karras [États-Unis] ; Chedy Raïssi [France] ; Panos Kalnis [Arabie saoudite] ; Hung Keng Pung [Singapour]Delineating social network data anonymization via random edge perturbation
001A65 (2012-06-25) Hootan Nakhost [Canada] ; Joerg Hoffmann [France] ; Martin Müller [Allemagne]Resource-Constrained Planning: A Monte Carlo Random Walk Approach
001B08 (2012-05-30) Eva Banik [Royaume-Uni] ; Claire Gardent [France] ; Donia Scott [Royaume-Uni] ; Nikhil Dinesh [États-Unis] ; Fennie Linag [Royaume-Uni]KBGen - Text Generation for Knowledge Bases as a New Shared Task
001B99 (2012-03-24) Taha Triki [France] ; Yves Ledru [France] ; Lydie Du Bousquet [France] ; Frédéric Dadeau [France] ; Julien BotellaModel-Based Filtering of Combinatorial Test Suites
001C22 (2012-03) Arnaud Fietzke [Allemagne] ; Evgeny Kruglov [Allemagne] ; Christoph Weidenbach [Allemagne]Automatic Generation of Invariants for Circular Derivations in SUP(LA)
001C25 (2012-02-29) Mathieu Hoyrup [France]The dimension of ergodic random sequences
001C91 (2012) René Schott [France] ; Stacey Staples [États-Unis]Connected Components and Evolution of Random Graphs
Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022