8190 search results - page 1408 / 1638 » From Timed to Hybrid Systems |
183
click to vote
MM
2000
ACM
15 years 11 months ago
2000
ACM
The increase of bandwidth and streaming technology has made video on the Web the current “killer-app” of the dot-com world. However, users still face many problems. Users have...
149
click to vote
UIST
2000
ACM
15 years 11 months ago
2000
ACM
A number of recent systems have provided rich facilities for manipulating the timelines of applications. Such timelines represent the history of an application’s use in some ses...
163
Voted
UIST
2000
ACM
15 years 11 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...
156
Voted
CAV
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. Any formalmethodor tool is almostcertainlymoreoftenapplied in situationswheretheoutcomeis failure(acounterexample)rather than success (a correctness proof). We present a ...
186
click to vote
ICPR
2010
IEEE
15 years 11 months ago
2010
IEEE
Using Boolean AND and OR functions to combine the responses of multiple one- or two-class classifiers in the ROC space may significantly improve performance of a detection system o...