2649 search results - page 104 / 530 » Temporal Theories of Reasoning |
169
click to vote
ICMI
2007
Springer
16 years 19 days ago
2007
Springer
We address the problem of automatic interpretation of nonexaggerated human facial and body behaviours captured in video. We illustrate our approach by three examples. (1) We intro...
171
click to vote
LICS
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper reports on and discusses three notions of approximation for Labelled Markov Processes that have been developed last year. The three schemes are improvements over former...
182
click to vote
ENTCS
2007
15 years 6 months ago
2007
Logical connectives familiar from the study of hybrid logic can be added to the logical framework LF, a constructive type theory of dependent functions. This extension turns out t...
164
click to vote
TIME
2007
IEEE
16 years 23 days ago
2007
IEEE
Forty-four relations are found between an interval and an interval with a gap ( rIIg ), capturing semantics that are distinct from those of the sets of constituting intervals and ...
155
click to vote
TARK
2007
Springer
16 years 18 days ago
2007
Springer
We introduce ATLES – a variant of ATL with explicit names for strategies in the object language. ATLES makes it possible to refer to the same strategy in different occurrences o...