480 search results - page 83 / 96 » Introducing Temporal Description Logics |
DFG
2004
Springer
14 years 22 days ago
2004
Springer
This paper presents the real-time model checker RAVEN and related theoretical background. RAVEN augments the efficiency of traditional symbolic model checking with possibilities to...
EMSOFT
2006
Springer
14 years 20 days ago
2006
Springer
Upper bounds on worst-case execution times, which are commonly called WCET, are a prerequisite for validating the temporal correctness of tasks in a real-time system. Due to the e...
JOLLI
2008
13 years 9 months ago
2008
Saul Kripke's thesis that ordinary proper names are rigid designators is supported by widely shared intuitions about the occurrence of names in ordinary modal contexts. By th...
ICDE
2012
IEEE
11 years 11 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...
MICCAI
2002
Springer
14 years 10 months ago
2002
Springer
Abstract. The paper introduces an algorithm which allows the automatic segmentation of multi channel magnetic resonance images. We extended the Expectation Maximization-Mean Field ...