451 search results - page 59 / 91 » Temporal Classes and OWL |
76
Voted
TIME
1994
IEEE
15 years 4 months ago
1994
IEEE
The frame problem was originally de ned in the context of the situation calculus. The problem also manifests itself in more sophisticated temporal logics that can represent interv...
107
Voted
WBIR
2010
SPRINGER
15 years 4 months ago
2010
SPRINGER
Abstract. We introduce a method for volumetric cardiac motion analysis using variational optical flow computation involving the prior with the fractional order differentiations. ...
102
Voted
3DPVT
2006
IEEE
15 years 4 months ago
2006
IEEE
This paper extends the idea of classification schemes for static surface curvature into the temporal domain. We seek to identify regions in sequences of depth data that exhibit va...
117
click to vote
CONCUR
2000
Springer
15 years 4 months ago
2000
Springer
Unfoldings are a technique for verification of concurrent and distributed systems introduced by McMillan. The method constructs a finite complete prefix, which can be seen as a sym...
109
Voted
EDBT
2000
ACM
15 years 4 months ago
2000
ACM
The management and query processing of one dimensional intervals is a special case of extended object handling. One dimensional intervals play an important role in temporal databa...