17054 search results - page 205 / 3411 » Logics of Dynamical Systems |
210
click to vote
ICDE
2012
IEEE
13 years 9 months ago
2012
IEEE
—A facility for merging equivalent data streams can support multiple capabilities in a data stream management system (DSMS), such as query-plan switching and high availability. O...
233
click to vote
SOCO
2002
Springer
15 years 6 months ago
2002
Springer
In recent years, available audio corpora are rapidly increasing from fast growing Internet and digital libraries. How to classify and retrieve sound files relevant to the user'...
208
click to vote
TPHOL
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract. This paper introduces the logical system HOL2P that extends classical higher order logic (HOL) with type operator variables and universal types. HOL2P has explicit term o...
208
click to vote
HYBRID
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. In this paper, we formulate and robustly solve a quite general class of hybrid controller synthesis problems. The type of controller we investigate is the switching contr...
206
click to vote
QEST
2007
IEEE
16 years 1 months ago
2007
IEEE
We investigate logics and equivalence relations that capture the qualitative behavior of Markov Decision Processes (MDPs). We present Qualitative Randomized Ctl (Qrctl): formulas o...