Performance queries on semi-Markov stochastic Petri nets with an extended continuous stochastic logic.
Jeremy T. BradleyNicholas J. DinglePeter G. HarrisonWilliam J. KnottenbeltPublished in: PNPM (2003)
Keyphrases
- semi markov
- monadic second order logic
- query processing
- query language
- query evaluation
- conditional random fields
- database
- database queries
- complex queries
- range queries
- web search engines
- logic programming
- response time
- user queries
- higher order
- data complexity
- query formulation
- continuous domains
- first order logic
- query logs
- query terms
- multi dimensional
- input image
- machine learning
- databases