This HTML5 document contains 37 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
n8http://localhost/temp/predkladatel/
n9http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n4http://linked.opendata.cz/resource/domain/vavai/projekt/
n11http://linked.opendata.cz/ontology/domain/vavai/
n10http://linked.opendata.cz/resource/domain/vavai/zamer/
skoshttp://www.w3.org/2004/02/skos/core#
n3http://linked.opendata.cz/ontology/domain/vavai/riv/
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n13http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F00216224%3A14330%2F08%3A00024337%21RIV10-GA0-14330___/
n12http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n17http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n15http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n5http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n18http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n16http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n7http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F00216224%3A14330%2F08%3A00024337%21RIV10-GA0-14330___
rdf:type
n11:Vysledek skos:Concept
dcterms:description
We introduce the problem of estimation of state space parameters, argue that it is an interesting and practically relevant problem, and study several simple estimation techniques. Particularly, we focus on estimation of the number of reachable states. We study techniques based on sampling of the state space and techniques that employ data mining techniques (classification trees, neural networks) over parameters of breadth-first search. We show that even through the studied techniques are not able to produce exact estimates, it is possible to obtain useful information about a state space by sampling and to use this information to automate the verification process. We introduce the problem of estimation of state space parameters, argue that it is an interesting and practically relevant problem, and study several simple estimation techniques. Particularly, we focus on estimation of the number of reachable states. We study techniques based on sampling of the state space and techniques that employ data mining techniques (classification trees, neural networks) over parameters of breadth-first search. We show that even through the studied techniques are not able to produce exact estimates, it is possible to obtain useful information about a state space by sampling and to use this information to automate the verification process.
dcterms:title
Estimating State Space Parameters Estimating State Space Parameters
skos:prefLabel
Estimating State Space Parameters Estimating State Space Parameters
skos:notation
RIV/00216224:14330/08:00024337!RIV10-GA0-14330___
n3:aktivita
n5:P n5:Z
n3:aktivity
P(1ET408050503), P(GA201/06/1338), P(GP201/07/P035), Z(MSM0021622419)
n3:dodaniDat
n7:2010
n3:domaciTvurceVysledku
n9:4686128 n9:4006852
n3:druhVysledku
n18:O
n3:duvernostUdaju
n17:S
n3:entitaPredkladatele
n13:predkladatel
n3:idSjednocenehoVysledku
366530
n3:idVysledku
RIV/00216224:14330/08:00024337
n3:jazykVysledku
n15:eng
n3:klicovaSlova
state space; state space size; estimation
n3:klicoveSlovo
n12:estimation n12:state%20space n12:state%20space%20size
n3:kontrolniKodProRIV
[CA87E61708DD]
n3:obor
n16:IN
n3:pocetDomacichTvurcuVysledku
2
n3:pocetTvurcuVysledku
2
n3:projekt
n4:1ET408050503 n4:GP201%2F07%2FP035 n4:GA201%2F06%2F1338
n3:rokUplatneniVysledku
n7:2008
n3:tvurceVysledku
Pelánek, Radek Šimeček, Pavel
n3:zamer
n10:MSM0021622419
n8:organizacniJednotka
14330