7049 search results - page 1036 / 1410 » Data Abstraction for CSP-OZ |
182
click to vote
ICCAD
2004
IEEE
16 years 4 months ago
2004
IEEE
Abstract—The slack time in real-time systems can be used by recovery schemes to increase system reliability as well as by frequency and voltage scaling techniques to save energy....
179
click to vote
MMM
2009
Springer
16 years 4 months ago
2009
Springer
Abstract. Attention is a psychological measurement of human reflection against stimulus. We propose a general framework of highlight detection by comparing attention intensity dur...
189
click to vote
PEPM
2009
ACM
16 years 4 months ago
2009
ACM
Exhaustive model checking search techniques are ineffective for error discovery in large and complex multi-threaded software systems. Distance estimate heuristics guide the concre...
213
click to vote
IUI
2009
ACM
16 years 4 months ago
2009
ACM
Identifying highlights in multimedia content such as video and audio is currently a very difficult technical problem. We present and evaluate a novel algorithm that identifies hig...
201
click to vote
WACV
2005
IEEE
16 years 3 months ago
2005
IEEE
To facilitate accurate and efficient detection of motion
patterns in video data, it is desirable to abstract from pixel
intensity values to representations that explicitly and co...