Parker Road - PDFSEARCH.IO - Document Search Engine

Parker Road
Results: 124

#	Item
1	PRISM: Probabilistic Model Checking for Performance and Reliability Analysis Marta Kwiatkowska, Gethin Norman and David Parker Oxford University Computing Laboratory, Wolfson Building, Parks Road, Oxford, OX1 3QD {marta. Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2008-12-15 10:57:28 Markov processes Probability Markov models Model checkers PRISM model checker Model checking Markov reward model Markov chain Markov decision process Probabilistic CTL Prism
2	Abstraction Refinement for Probabilistic Software Mark Kattenbelt, Marta Kwiatkowska, Gethin Norman, and David Parker Oxford University Computing Laboratory, Parks Road, Oxford, OX1 3QD Abstract. We present a methodolog Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2008-10-24 07:08:14 Metaphysics Formal methods Theoretical computer science Modal logic Philosophical logic Predicate abstraction Markov decision process Logic Refinement Abstraction Krivine machine
3	Verifying Team Formation Protocols with Probabilistic Model Checking? Taolue Chen, Marta Kwiatkowska, David Parker, and Aistis Simaitis Department of Computer Science, University of Oxford, Wolfson Building, Parks Road, Add to Reading List Source URL: www.prismmodelchecker.org Language: English - Date: 2012-05-10 09:21:45 Probability Dynamic programming Markov decision process Stochastic control PRISM model checker Reinforcement learning Probabilistic CTL Application software
4	Stochastic Games for Verification of Probabilistic Timed Automata Marta Kwiatkowska, Gethin Norman, and David Parker Oxford University Computing Laboratory, Parks Road, Oxford, OX1 3QD Abstract. Probabilistic timed auto Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2010-04-16 06:37:28 Dynamic programming Markov decision process Stochastic control Symbol PP Probability and statistics Probability Theoretical computer science Models of computation
5	Compositional Verification of Probabilistic Systems using Learning Lu Feng, Marta Kwiatkowska, David Parker Oxford University Computing Laboratory, Parks Road, Oxford, OX1 3QD Email: {lu.feng, marta.kwiatkowska, david.pa Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2010-08-20 07:50:57
6	Analysis of a Gossip Protocol in PRISM Marta Kwiatkowska, Gethin Norman and David Parker Oxford University Computing Laboratory, Wolfson Building, Parks Road, Oxford, OX1 3QD ABSTRACT Gossip protocols have been proposed Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2008-10-20 08:29:16 Network architecture Distributed computing Gossip protocol PRISM model checker Computing Application software Distributed data storage Software Game theory
7	COLORADO RIVER INDIAN TRIBES Human ResourcesMohave Road Parker, ArizonaTelephone * Fax Add to Reading List Source URL: newsletters.asucollegeoflaw.com Language: English - Date: 2018-04-24 12:16:49
8	COLORADO RIVER INDIAN TRIBES Human ResourcesMohave Road Parker, ArizonaTelephone * Fax Add to Reading List Source URL: newsletters.asucollegeoflaw.com Language: English - Date: 2018-04-30 18:05:42
9	New Visitor Parking Option for Departments Parkmobile is an application that runs on a smartphone or computer workstation. It allows a parker to use a credit card to pay for parking at multiple space parking meters in t Add to Reading List Source URL: parking.uark.edu Language: English - Date: 2016-07-29 09:54:34 Transport Land transport Road transport Parking Street furniture Parking meter Parking lot Pay-by-plate parking
10	Parker, Burns Top Roxbury Seek Race ROXBURY – Running in opposite directions, Sean Parker and Katie Burns emerged as the winners of the annual 2.4-mile Seek Race Saturday, June 27, at the Roxbury Road Race Series. Park Add to Reading List Source URL: roxburyraces.net Language: English Neighborhoods in Boston Massachusetts Streetcar suburbs Roxbury Boston Shepaug Valley High School