Analysis
LNCS
Racine
Analysis
LNCS
Exploration
Accueil
Racine
Racine

Serveur d'exploration sur l'Université de Trèves

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 encoding - obdd

Terms

2encoding
2obdd
3representations
3machines
4finite
4state

Associations

Freq.WeightAssociation
21.000encoding - obdd
20.816obdd - representations
20.816machines - obdd
20.816encoding - representations
20.816encoding - machines
20.707obdd - state
30.750finite - state
20.707finite - obdd
20.707encoding - state
20.707encoding - finite
20.667machines - representations
20.577representations - state
20.577machines - state
20.577finite - representations
20.577finite - machines
Documents par ordre de pertinence
000258 (1997) Christoph Meinel [Allemagne] ; Thorsten Theobald [Allemagne]On the influence of the state encoding on OBDD-representations of finite state machines
000275 (1996) Christoph Meinel [Allemagne] ; Thorsten Theobald [Allemagne]Local encoding transformations for optimizing OBDD-representations of finite state machines
000006 (2011) Anna Kasprzik [Allemagne]Inference of Residual Finite-State Tree Automata from Membership Queries and Finite Positive Data
000060 (2007) Carsten Görg [États-Unis] ; Mathias Pohl [Allemagne] ; Ermir Qeli [Allemagne] ; Kai Xu [Australie]Visual Representations
000209 (2002) Blaise Genest [France] ; Anca Muscholl [France] ; Helmut Seidl [Allemagne] ; Marc Zeitoun [France]Infinite-State High-Level MSCs: Model-Checking and Realizability
000257 (1997) Martin Mundhenk [Allemagne] ; Judy Goldsmith [États-Unis] ; Eric Allender [États-Unis]The complexity of policy evaluation for finite-horizon partially-observable Markov decision processes
000287 (1995) M. Mundhenk [Allemagne]On monotonous oracle machines
Wicri

This area was generated with Dilib version V0.6.31.
Data generation: Sat Jul 22 16:29:01 2017. Site generation: Wed Feb 28 14:55:37 2024