868 search results - page 136 / 174 » Unification of Temporal Data Models |
90
Voted
LMCS
2007
15 years 21 days ago
2007
Higher-Order Fixpoint Logic (HFL) is a hybrid of the simply typed λ-calculus and the modal µ-calculus. This makes it a highly expressive temporal logic that is capable of express...
SRDS
2003
IEEE
15 years 6 months ago
2003
IEEE
In this paper we investigate dependability issues of nextgeneration distributed multimedia applications. Examples of such applications are autonomous vehicle control, telemedicine...
104
Voted
ICMI
2003
Springer
15 years 6 months ago
2003
Springer
Multimodal interfaces are designed with a focus on flexibility, although very few currently are capable of adapting to major sources of user, task, or environmental variation. The...
90
Voted
ICCV
2009
IEEE
16 years 5 months ago
2009
IEEE
This paper addresses the problem of automatic temporal
annotation of realistic human actions in video using mini-
mal manual supervision. To this end we consider two asso-
ciate...
ICML
2003
IEEE
16 years 1 months ago
2003
IEEE
Many techniques in the social sciences and graph theory deal with the problem of examining and analyzing patterns found in the underlying structure and associations of a group of ...