3765 search results - page 102 / 753 » Qualitative Action Systems |
ISORC
2005
IEEE
14 years 3 months ago
2005
IEEE
This paper proposes a new method for programming and controlling distributed tasks. Applications declare behavior patterns that are used to automatically predict and reserve resou...
GROUP
2003
ACM
14 years 3 months ago
2003
ACM
Synchronous text communication is becoming recognized as a valuable workplace communication medium yet some studies of group text chat indicate that its properties can lead to int...
DBPL
2003
Springer
14 years 3 months ago
2003
Springer
Over the last fifteen years, database management systems (DBMSs) have been enhanced by the addition of rule-based programming to obtain active DBMSs. One of the greatest challeng...
IEAAIE
1998
Springer
14 years 2 months ago
1998
Springer
Abstract. In this paper we introduce a probabilistic approach to support visual supervision and gesture recognition. Task knowledge is both of geometric and visual nature and it is...
LICS
1991
IEEE
14 years 1 months ago
1991
IEEE
Baeten, Bergstra, and Klop (and later Caucal) have proved the remarkable result that bisimulation equivalence is decidable for irredundant context-free grammars. In this paper we ...