39 search results - page 6 / 8 » Temporal Equilibrium Logic: A First Approach |
PODS
2007
ACM
14 years 5 months ago
2007
ACM
Event processing systems have wide applications ranging from managing events from RFID readers to monitoring RSS feeds. Consequently, there exists much work on them in the literat...
ICDAR
2005
IEEE
13 years 11 months ago
2005
IEEE
In this article, we focus on the problem of caption detection in video sequences. Contrary to most of existing approaches based on a single detector followed by an ad hoc and cost...
ISCIS
2004
Springer
13 years 10 months ago
2004
Springer
Testing is a necessary, but costly process for user-centric quality control. Moreover, testing is not comprehensive enough to completely detect faults. Many formal methods have bee...
EACL
1993
ACL Anthology
13 years 6 months ago
1993
ACL Anthology
The first part of the paper develops a novel, sortally-based approach to the problem of aspectual composition. The account is argued to be superior on both empirical and computati...
SIGSOFT
2001
ACM
14 years 6 months ago
2001
ACM
This article explores a dual approach to real-time software development. Models are written in UML, as this is expected to be relatively easy and economic. Then models are automat...