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
000252 (1998)	Giansalvatore Mecca [Italie] ; Alberto O. Mendelzon [Canada] ; Paolo Merialdo [Italie]	Efficient queries over web views
000015 (2010)	Anna Kasprzik [Allemagne]	Generalizing over Several Learning Settings
000060 (2007)	Carsten Görg [États-Unis] ; Mathias Pohl [Allemagne] ; Ermir Qeli [Allemagne] ; Kai Xu [Australie]	Visual Representations
000079 (2006)	Pragya Agarwal [Royaume-Uni] ; Roderic Béra [Royaume-Uni] ; Christophe Claramunt [France]	A Social and Spatial Network Approach to the Investigation of Research Communities over the World Wide Web
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

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

	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.