451 search results - page 16 / 91 » Temporal Classes and OWL |
91
Voted
RSP
2005
IEEE
15 years 6 months ago
2005
IEEE
For cost-effective prototyping, system designers should have a clear understanding of the intended use of the prototype under development. This paper describes a classification of...
108
Voted
FROCOS
2007
Springer
15 years 6 months ago
2007
Springer
In abstract algebra, a structure is said to be Noetherian if it does not admit infinite strictly ascending chains of congruences. In this paper, we adapt this notion to first-ord...
104
Voted
FORMATS
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. In this paper, we propose a new framework for the parametric verification of time Petri nets with stopwatches controlled by inhibitor arcs. We first introduce an extensio...
138
Voted
AINA
2009
IEEE
15 years 2 months ago
2009
IEEE
Outlier detection in wireless sensor networks is essential to ensure data quality, secure monitoring and reliable detection of interesting and critical events. A key challenge for...
92
Voted
VLDB
1990
ACM
15 years 4 months ago
1990
ACM
In this paper, we describe a new indexing technique, the time indez, for improving the performance of certain classes of temporal queries. The time index can be used to retrieve v...