1301 search results - page 131 / 261 » Specifications via Realizability |
131
click to vote
ESOP
2010
Springer
16 years 1 months ago
2010
Springer
Iterated Register Coalescing (IRC) is a widely used heuristic for performing register allocation via graph coloring. Many implementations in existing compilers follow (more or less...
116
click to vote
ICASSP
2009
IEEE
15 years 10 months ago
2009
IEEE
—Instantaneous frequency rate (IFR) estimation for high-order polynomial phase signals (PPSs) is considered. Specifically, an IFR estimator with only a second-order nonlinearity ...
130
Voted
ICDAR
2009
IEEE
15 years 10 months ago
2009
IEEE
† There is a significant need for a realistic dataset on which to evaluate layout analysis methods and examine their performance in detail. This paper presents a new dataset (and...
115
click to vote
BIOTECHNO
2008
IEEE
15 years 10 months ago
2008
IEEE
A new formalism and approach to describing cellular and molecular processes and structures is introduced, designed to support the creation of knowledge bases of molecular and cell...
132
Voted
CDC
2008
IEEE
15 years 10 months ago
2008
IEEE
— This paper is concerned with the tracking of partially or entirely occluded objects in a video sequence. We propose certain modifications to the template matching approach, whi...