2293 search results - page 127 / 459 » Temporal Logic in Information Systems |
ER
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Past research work on modeling and managing temporal information has, so far, failed to elicit support in commercial database systems. The increasing popularity of XML oï...
MM
2003
ACM
15 years 3 months ago
2003
ACM
Although statistical characteristics of audio features are widely used for similarity measure in most of current audio analysis systems and have been proved to be effective, they ...
128
click to vote
FGR
2011
IEEE
14 years 1 months ago
2011
IEEE
— In this paper we propose a method that exploits 3D motion-based features between frames of 3D facial geometry sequences for dynamic facial expression recognition. An expressive...
TIME
1994
IEEE
15 years 2 months ago
1994
IEEE
We formulate an algebra of binary temporal relations between events the number of occurrences of which is unknown, but which are known to recur in time. Ontologically, we view the...
RE
2001
Springer
15 years 2 months ago
2001
Springer
A logic model checker can be an effective tool for debugging software applications. A stumbling block can be that model checking tools expect the user to supply a formal statement...