4520 search results - page 574 / 904 » Algebraic Techniques for Timed Systems |
186
click to vote
CHI
2005
ACM
16 years 7 months ago
2005
ACM
We present a search interface for large video collections with time-aligned text transcripts. The system is designed for users such as intelligence analysts that need to quickly f...
161
click to vote
VLSID
2008
IEEE
16 years 7 months ago
2008
IEEE
Abstract-- With the continuous downscaling of CMOS technologies, the reliability has become a major bottleneck in the evolution of the next generation systems. Technology trends su...
165
Voted
DAC
2009
ACM
16 years 1 months ago
2009
ACM
With new technologies, temperature has become a major issue to be considered at system level design. Without taking temperature aspects into consideration, no approach to energy o...
199
click to vote
ICAS
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—Traditionally, performance has been the most important metrics when evaluating a system. However, in the last decades industry and academia have been paying increasing a...
200
click to vote
ICMI
2009
Springer
16 years 1 months ago
2009
Springer
We have built a system that engages naive users in an audiovisual interaction with a computer in an unconstrained public space. We combine audio source localization techniques wit...