64 search results - page 7 / 13 » A Controlled Skip Parser |
211
click to vote
IIHMSP
2006
IEEE
15 years 11 months ago
2006
IEEE
A complexity-constrained inter-mode decision algorithm for H.264/AVC video coding is developed using a rate-distortioncomplexity (RDC) optimization framework in this work. The pro...
142
click to vote
SOFTVIS
2006
ACM
15 years 11 months ago
2006
ACM
Visualizations of program executions are often generated on the fly. This has many advantages relative to off-line generation of animated video files. Video files, however, trivia...
118
Voted
MICRO
2000
IEEE
15 years 10 months ago
2000
IEEE
A slipstream processor reduces the length of a running program by dynamically skipping computation non-essential for correct forward progress. The shortened program runs faster as...
139
click to vote
AICOM
2010
15 years 5 months ago
2010
SOLAR (SOL for Advanced Reasoning) is a first-order clausal consequence finding system based on the SOL (Skip Ordered Linear) tableau calculus. The ability to find non-trivial cons...
136
click to vote
ACL
1998
15 years 6 months ago
1998
Although indexes may overlap, the output of an automatic indexer is generally presented as a fiat and unstructured list of terms. Our purpose is to exploit term overlap and embedd...