Almost-certain eventualities and abstract probabilities in quantitative temporal logic

Almost-certain eventualities and abstract probabilities in quantitative temporal logic

<p>&apos;Almost-certain eventualities&apos; are liveness properties that hold with probability 1. &apos;Abstract probabilities&apos; are probabilities in transition systems about which we know only that they are neither 0 nor 1.</p> <p>Vardi [17] sho...

Cur síos iomlán

Sonraí bibleagrafaíochta
Príomhchruthaitheoirí:	McIver, A, Morgan, C
Formáid:	Journal article
Teanga:	English
Foilsithe / Cruthaithe:	Elsevier 2001
Ábhair:	Computing Computational Linguistics

Míreanna comhchosúla

Abstract Hidden Markov Models: a monadic account of quantitative information flow
de réir: Annabelle McIver, et al.
Foilsithe / Cruthaithe: (2019-03-01)

Translating Spanish into logic through logic /
de réir: 307809 Dahl, Veronica

Puzzles in logic, languages, and computation : the green book /
de réir: Radev, Dragomir, 1968-
Foilsithe / Cruthaithe: (c201)

Quantitative modelling of intonational variation
de réir: Grabe, E, et al.
Foilsithe / Cruthaithe: (2004)

Quantitative Approximation of the Probability Distribution of a Markov Process by Formal Abstractions
de réir: Sadegh Esmaeil Zadeh Soudjani, et al.
Foilsithe / Cruthaithe: (2015-09-01)

Reasoning about efficiency within a probabilistic μ-calculus
de réir: McIver, A
Foilsithe / Cruthaithe: (1999)

Reasoning about efficiency within a probabilistic calculus
de réir: McIver, A
Foilsithe / Cruthaithe: (1999)

Quantitative program logic and expected time bounds in probabilistic distributed algorithms
de réir: McIver, A
Foilsithe / Cruthaithe: (2002)

Understanding operating systems /
de réir: McHoes, Ann McIver, author, et al.
Foilsithe / Cruthaithe: (2014)

Implementation and evaluation of an eventually-serializable data service
de réir: Cheiner, Oleg M. (Oleg Mikhail), 1975-
Foilsithe / Cruthaithe: (2008)

Logical abstract interpretation
de réir: D'Silva, V, et al.
Foilsithe / Cruthaithe: (2013)

Notas para una eventual lingüística dibujada
de réir: Gabriela Milone
Foilsithe / Cruthaithe: (2021-12-01)

On the spectrum of weakly almost periodic solutions of certain abstract differential equations
de réir: Aribindi Satyanarayan Rao, et al.
Foilsithe / Cruthaithe: (1985-01-01)

On the Expressiveness and Monitoring of Metric Temporal Logic
de réir: Hsi-Ming Ho, et al.
Foilsithe / Cruthaithe: (2019-05-01)

Modeling of vocal styles using portable features and placement rules
de réir: Shih, C, et al.
Foilsithe / Cruthaithe: (2003)

Prosody modeling with soft templates
de réir: Kochanski, G, et al.
Foilsithe / Cruthaithe: (2003)

A Reverse Turing Test using speech
de réir: Kochanski, G, et al.
Foilsithe / Cruthaithe: (2002)

When probability meets logic
de réir: Chan, Jared Nathaniel Weng Wai
Foilsithe / Cruthaithe: (2024)

Foundations of computational linguistics : human-computer communication in natural language /
de réir: 600908 Hausser, Roland
Foilsithe / Cruthaithe: (2014)

CPT104 - INTRODUCTION TO LOGIC AND ABSTRACTION MAC 05.
de réir: PPSKOM, Pusat Pengajian Sains Komputer
Foilsithe / Cruthaithe: (2005)

CPT 104 - INTRODUCTION TO LOGIC AND ABSTRACTION APRIL 08.
de réir: PPSKOM, Pusat Pengajian Sains Komputer
Foilsithe / Cruthaithe: (2008)

CPT 104 - INTRODUCTION TO LOGIC AND ABSTRACTION - SEPT. 2002
de réir: PPSKOM, Pusat Pengajian Sains Komputer
Foilsithe / Cruthaithe: (2002)

CPT104 - INTRODUCTION TO LOGIC AND ABSTRACTION APRIL 08.
de réir: PPSKOM, Pusat Pengajian Sains Komputer
Foilsithe / Cruthaithe: (2008)

Corpus linguistics : readings in a widening discipline /
de réir: Sampson, Geoffrey, et al.
Foilsithe / Cruthaithe: (2005)

Learning linguistics with computers : hypertext as a key to linguistic networks /
de réir: 374298 Ansel, Bettina

Stochastic phonological grammars and acceptability
de réir: Coleman, J, et al.
Foilsithe / Cruthaithe: (1997)

Foundations of decision-making agents : logic, probability and modality /
de réir: 248763 Das, Subrata
Foilsithe / Cruthaithe: (2008)

CPT 104 - INTRODUCTION TO LOGIC & ABSTRACTION MARCH 05 - BI.
de réir: PPSKOM, Pusat Pengajian Sains Komputer
Foilsithe / Cruthaithe: (2005)

CAT102 - Introduction to Logic and Abstraction August/September 1998
de réir: PPSKOM, Pusat Pengajian Sains Komputer
Foilsithe / Cruthaithe: (1998)

Linear Temporal Logic for Regular Cost Functions
de réir: Denis Kuperberg
Foilsithe / Cruthaithe: (2014-02-01)

The Wicked and the Logical: Facilitating Integrative Learning Among Introductory Computing Students
de réir: Jeffrey Stone, et al.
Foilsithe / Cruthaithe: (2021-03-01)

Understanding operating systems /
de réir: 378446 Flynn, Ida M., et al.
Foilsithe / Cruthaithe: (1997)

Understanding operating systems /
de réir: 378446 Flynn, Ida M., et al.
Foilsithe / Cruthaithe: (2006)

On the decidability and complexity of Metric Temporal Logic over finite words
de réir: Joel Ouaknine, et al.
Foilsithe / Cruthaithe: (2007-02-01)

Creating and digitizing language corpora /
de réir: Beal, Joan C., et al.
Foilsithe / Cruthaithe: (2007)

Handbook of logic and language /
de réir: Benthem, Johan Van, et al.
Foilsithe / Cruthaithe: (1997)

Statistics in corpus linguistics : a new approach /
de réir: Wallis, Sean, author.
Foilsithe / Cruthaithe: (2021)

Corpus linguistics : a short introduction /
de réir: 187529 Teubert, Wolfgang, et al.
Foilsithe / Cruthaithe: (2007)

Quantitative information flow with Monads in Haskell
de réir: Gibbons, J, et al.
Foilsithe / Cruthaithe: (2020)

Temporal logics and their applications /
de réir: Galton, Anthony
Foilsithe / Cruthaithe: (1987)