1699 search results - page 5 / 340 » On the Expressive Power of QLTL |
DCG
1998
13 years 7 months ago
1998
The assumption of real-number arithmetic, which is at the basis of conventional geometric algorithms, has been seriously challenged in recent years, since digital computers do not...
CP
2010
Springer
13 years 6 months ago
2010
Springer
We study the expressibility problem: given a finite constraint language Γ on a finite domain and another relation R, can Γ express R? We prove, by an explicit family of example...
ACII
2011
Springer
12 years 7 months ago
2011
Springer
Abstract. This paper presents an expressive gesture model that generates communicative gestures accompanying speech for the humanoid robot Nao. The research work focuses mainly on ...
ICASSP
2011
IEEE
12 years 11 months ago
2011
IEEE
This paper presents a novel method for facial expression classification that employs the combination of two different feature sets in an ensemble approach. A pool of base classi...
ENTCS
2002
13 years 7 months ago
2002
We investigate a variant of dense-time Duration Calculus which permits model checking using timed/hybrid automata. We define a variant of the Duration Calculus, called Interval Du...