500 search results - page 15 / 100 » Coalgebraic semantics for timed processes |
ADL
2000
Springer
14 years 2 months ago
2000
Springer
A mediator system is a kind of a meta-search engine that provides a seamlessly integrated search service for diverse search engines (collections). Since collections of a mediator ...
CVPR
2010
IEEE
14 years 2 months ago
2010
IEEE
Learning the knowledge of scene structure and tracking a large number of targets are both active topics of computer vision in recent years, which plays a crucial role in surveilla...
PODC
1996
ACM
14 years 2 months ago
1996
ACM
We address the problem of the impossibility of implementing synchronous fault-tolerant service specifications in asynchronous distributed systems. We introduce a method for weaken...
TSD
1999
Springer
14 years 2 months ago
1999
Springer
Automatic lipreading is automatic speech recognition that uses only visual information. The relevant data in a video signal is isolated and features are extracted from it. From a s...
DSN
2002
IEEE
14 years 2 months ago
2002
IEEE
Designing applications with timeliness requirements in environments of uncertain synchrony is known to be a difficult problem. In this paper, we follow the perspective of timing ...