732 search results - page 65 / 147 » Periodicity-Based Temporal Constraints |
ENTCS
2006
13 years 10 months ago
2006
Temporal logics are well suited for the specification and verification of systems of communicating agents. In this paper we adopt a social approach to agent communication, where c...
ER
1998
Springer
14 years 2 months ago
1998
Springer
Abstract. Database applications are frequently faced with the necessity of representing time varying information and, particularly in the management of information systems, a few k...
CVPR
2009
IEEE
14 years 4 months ago
2009
IEEE
While video-based activity analysis and recognition has received much attention, existing body of work mostly deals with single object/person case. Coordinated multi-object activi...
IJCAI
1993
13 years 11 months ago
1993
We have written a prototype computer program called TrenDx for automated trend detection during process monitoring. The program uses a representation called trend templates that d...
JCST
2008
13 years 10 months ago
2008
Transformational approaches to generating design and implementation models from requirements can bring effectiveness and quality to software development. In this paper we present a...