13306 search results - page 467 / 2662 » Theoretical Computer Science |
203
click to vote
DAM
2011
15 years 2 months ago
2011
Many graph search algorithms use a labeling of the vertices to compute an ordering of the vertices. We generalize this idea by devising a general vertex labeling algorithmic proce...
255
click to vote
ITICSE
2005
ACM
16 years 1 months ago
2005
ACM
In this paper we present an approach to the computer understanding of diagrams and show how it can be successfully applied to the automatic marking (grading) of student attempts a...
187
click to vote
FCT
2001
Springer
16 years 3 days ago
2001
Springer
We show that some natural refinements of the Straubing and Brzozowski hierarchies correspond (via the so called leaf-languages) step by step to similar refinements of the polynom...
223
click to vote
RE
2008
Springer
15 years 7 months ago
2008
Springer
For several decades there has been a debate in the computing sciences about the relative roles of design and empirical research, and about the contribution of design and research ...
182
click to vote
CSIE
2009
IEEE
16 years 2 months ago
2009
IEEE
With the pipeline deepen and issue width widen, the accuracy of branch predictor becomes more and more important to the performance of a microprocessor. State-of-theart researches...