Search results for "Uniformisation"

Found 16 publication records. Showing 16 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
60	Håkan L. S. Younes, Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001	Numerical vs. statistical probabilistic model checking.	Int. J. Softw. Tools Technol. Transf.	2006	DBLP DOI BibTeX RDF	Uniformisation, Temporal logic, Markov chains, Hypothesis testing, Transient analysis
33	Nathan Lhote, Vincent Michielini, Michal Skrzypczak	Uniformisation Gives the Full Strength of Regular Languages.	MFCS	2019	DBLP DOI BibTeX RDF
33	Xavier Ouvrard, Jean-Marie Le Goff, Stéphane Marchand-Maillet	Adjacency and Tensor Representation in General Hypergraphs Part 1: e-adjacency Tensor Uniformisation Using Homogeneous Polynomials	CoRR	2017	DBLP BibTeX RDF
33	Loïc Vial, Benjamin Lecouteux, Didier Schwab	Uniformisation de corpus anglais annotés en sens (Unification of sense annotated English corpora for word sense disambiguation).	TALN (3)	2017	DBLP BibTeX RDF
33	Emmanuel Filiot, Ismaël Jecker, Christof Löding, Sarah Winter	On Equivalence and Uniformisation Problems for Finite Transducers.	CoRR	2016	DBLP BibTeX RDF
33	Emmanuel Filiot, Ismaël Jecker, Christof Löding, Sarah Winter	On Equivalence and Uniformisation Problems for Finite Transducers.	ICALP	2016	DBLP DOI BibTeX RDF
33	Juan Luis Fernández Martínez, Esperanza García Gonzalo	Particle swarm optimisation: time for uniformisation.	Int. J. Comput. Sci. Math.	2013	DBLP DOI BibTeX RDF
33	Rodrigo de Souza	Uniformisation of Two-Way Transducers.	LATA	2013	DBLP DOI BibTeX RDF
33	Frits Dannenberg, Ernst Moritz Hahn, Marta Z. Kwiatkowska	Computing Cumulative Rewards Using Fast Adaptive Uniformisation.	CMSB	2013	DBLP DOI BibTeX RDF
33	Alexandre Jaron, Paul Pangalos, Andrej Mihailovic, A. Hamid Aghvami	Proactive autonomic load uniformisation with mobility management for wireless internet protocol (IP) access networks.	IET Networks	2012	DBLP DOI BibTeX RDF
33	Fátima Ferreira, António Pacheco 0001	Analysis of GI/M/s/c queues using uniformisation.	Comput. Math. Appl.	2006	DBLP DOI BibTeX RDF
33	Jean-Dany Vally, Rémy Courdier	Uniformisation des mécanismes de conception de SMA.	JFSMA	2002	DBLP BibTeX RDF
33	Maryse Pelletier, Jacques Sakarovitch	On the Lexicographic Uniformisation of Deterministic 2-Tape Automata (Extended Abstract).	IFIP Congress (1)	1994	DBLP BibTeX RDF
33	Ten H. Tzen, Lionel M. Ni	Dependence Uniformization: A Loop Parallelization Technique.	IEEE Trans. Parallel Distributed Syst.	1993	DBLP DOI BibTeX RDF	data dependence uniformisation, doubly nested loop, irregulardependence constraints, parallel programming, loop parallelization, parallelalgorithms, synchronization method, dependence constraints
28	Husain Aljazzar, Holger Hermanns, Stefan Leue	Counterexamples for Timed Probabilistic Reachability.	FORMATS	2005	DBLP DOI BibTeX RDF
28	Håkan L. S. Younes, Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001	Numerical vs. Statistical Probabilistic Model Checking: An Empirical Study.	TACAS	2004	DBLP DOI BibTeX RDF