11321 search results - page 2067 / 2265 » Improvements to Turing's method |
195
click to vote
LCTRTS
2005
Springer
16 years 3 days ago
2005
Springer
Software pipelining is a critical optimization for producing efficient code for VLIW/EPIC and superscalar processors in highperformance embedded applications such as digital sign...
186
click to vote
SAS
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. We present our experience of combining, in a realistic setting, a static analyzer with a statistical analysis. This combination is in order to reduce the inevitable false...
154
click to vote
IUI
2004
ACM
16 years 1 days ago
2004
ACM
A key to improving at any task is frequent feedback from people whose opinions we care about: our family, friends, mentors, and the experts. However, such input is not usually ava...
185
click to vote
MIR
2004
ACM
16 years 1 days ago
2004
ACM
Video parsing and indexing is an important early stage of contentbased video analysis. In this paper, we present a new web-enabled video indexing system that integrates Synchroniz...
184
click to vote
SAC
2004
ACM
16 years 23 hour ago
2004
ACM
This paper describes wildcards, a new language construct designed to increase the flexibility of object-oriented type systems with parameterized classes. Based on the notion of v...