734 search results - page 45 / 147 » Undecidability over Continuous Time |
120
click to vote
DLOG
2011
14 years 3 months ago
2011
A combination of open and closed-world reasoning (usually called local closed world reasoning) is a desirable capability of knowledge representation formalisms for Semantic Web app...
SMI
2005
IEEE
15 years 5 months ago
2005
IEEE
For time-dependent scalar fields, one is often interested in topology changes of contours in time. In this paper, we focus on describing how contours split and merge over a certa...
FORMATS
2009
Springer
15 years 6 months ago
2009
Springer
Recently, the model of weighted timed automata has gained interest within the real-time community. In a previous work, we built a bridge to the theory of weighted automata and intr...
114
click to vote
REX
1991
15 years 3 months ago
1991
We survey logic-based and automata-based languages and techniques for the speci cation and veri cation of real-time systems. In particular, we discuss three syntactic extensions of...
100
click to vote
DKE
2007
14 years 11 months ago
2007
Continuously monitoring through time the correlation/distance of multiple data streams is of interest in a variety of applications, including financial analysis, video surveillanc...