1208 search results - page 161 / 242 » On Counting Generalized Colorings |
196
click to vote
CC
2003
Springer
15 years 12 months ago
2003
Springer
vel Meta-Reasoning with Higher-Order Abstract Syntax Alberto Momigliano, Simon Ambler. A Normalisation Result for Higher-Order Calculi with Explicit Substitutions Eduardo Bonelli. ...
158
click to vote
CVPR
2007
IEEE
16 years 8 months ago
2007
IEEE
Effective image prior is necessary for image super resolution, due to its severely under-determined nature. Although the edge smoothness prior can be effective, it is generally di...
178
click to vote
ECCV
2006
Springer
16 years 8 months ago
2006
Springer
We describe a new region descriptor and apply it to two problems, object detection and texture classification. The covariance of d-features, e.g., the three-dimensional color vecto...
146
click to vote
ICIP
2001
IEEE
16 years 8 months ago
2001
IEEE
Spectral data estimation from image data is an ill-posed problem since (i) due to the integral nature of solid-state light sensors the same output can be obtained from an infinity...
173
click to vote
ECRTS
2008
IEEE
16 years 1 months ago
2008
IEEE
There is a need for using virtual memory in real-time applications: using virtual addressing provides isolation between concurrent processes; in addition, paging allows the execut...