3047 search results - page 219 / 610 » A Temporal Consensus Model |
191
click to vote
DLOG
2008
15 years 9 months ago
2008
A recurring problem in conceptual modelling and ontology development is the representation of part-whole relations, with a requirement to be able to distinguish between essential a...
206
click to vote
IANDC
2011
15 years 1 months ago
2011
Partial transition systems support abstract model checking of complex temporal propercombining both over- and under-approximatingabstractions into a single model. Over the years, ...
148
click to vote
NETWORKING
2004
15 years 8 months ago
2004
Having in mind that real-time streams tolerate some deadline misses according to (m,k)-firm constraints [1], this paper presents a solution that consists in integrating (m,k)-firm ...
133
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
This paper introduces a framework to measure speech quality in a multi-dimensional space. A hydro-mechanical Cochlear model is used to convert speech into the perceptual domain, w...
174
click to vote
CLIMA
2008
15 years 8 months ago
2008
Abstract. I present an overview of complexity results for model checking of temporal and strategic logics. Unfortunately, it is possible to manipulate the context so that different...