4520 search results - page 797 / 904 » Algebraic Techniques for Timed Systems |
195
click to vote
ICMCS
2000
IEEE
15 years 10 months ago
2000
IEEE
In this paper, we propose a novel technique for video summarization based on the Singular Value Decomposition (SVD). For the input video sequence, we create a featureframe matrix ...
135
click to vote
IWSSD
2000
IEEE
15 years 10 months ago
2000
IEEE
Most software that most people use most of the time needs only moderate assurance of fitness for its intended purpose. Unlike high-assurance software, where the severe consequence...
203
click to vote
KBSE
2000
IEEE
15 years 10 months ago
2000
IEEE
The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it eas...
145
click to vote
PLDI
2000
ACM
15 years 10 months ago
2000
ACM
We show how to determine statically whether it is safe for untrusted machine code to be loaded into a trusted host system. Our safety-checking technique operates directly on the u...
154
click to vote
UIST
2000
ACM
15 years 10 months ago
2000
ACM
Speech-based user interfaces are growing in popularity. Unfortunately, the technology expertise required to build speech UIs precludes many individuals from participating in the s...