60 search results - page 9 / 12 » Refinement Based Validation of an Algorithm for Detecting Di... |
PODC
2012
ACM
11 years 10 months ago
2012
ACM
Two new algorithms are given for randomized consensus in a shared-memory model with an oblivious adversary. Each is based on a new construction of a conciliator, an object that gu...
SIGMOD
2006
ACM
14 years 7 months ago
2006
ACM
Monitoring is an issue of primary concern in current and next generation networked systems. For example, the objective of sensor networks is to monitor their surroundings for a va...
BMCBI
2010
13 years 7 months ago
2010
Emerging knowledge of whole prokaryotic transcriptomes could validate a number of theoretical concepts introduced in the early days of genomics. What are the rules connecting gene...
CIKM
2001
Springer
14 years 2 days ago
2001
Springer
This paper addresses the problem of automatic detection of salient video segments for real-world applications such as corporate training based on associated speech transcriptions....
FATES
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Railway control systems are timed and safety-critical. Testing these systems is a key issue. Prior to system testing, the software of a railway control system is tested s...