Sciweavers

1208 search results - page 161 / 242
» On Counting Generalized Colorings
Sort
View
CC
2003
Springer
250views System Software» more  CC 2003»
15 years 8 months ago
Automatic Detection of Uninitialized Variables
vel Meta-Reasoning with Higher-Order Abstract Syntax Alberto Momigliano, Simon Ambler. A Normalisation Result for Higher-Order Calculi with Explicit Substitutions Eduardo Bonelli. ...
Thi Viet Nga Nguyen, François Irigoin, Cori...
CVPR
2007
IEEE
16 years 5 months ago
Soft Edge Smoothness Prior for Alpha Channel Super Resolution
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...
Shengyang Dai, Mei Han, Wei Xu, Ying Wu, Yihong Go...
131
Voted
ECCV
2006
Springer
16 years 5 months ago
Region Covariance: A Fast Descriptor for Detection and Classification
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...
Oncel Tuzel, Fatih Porikli, Peter Meer
ICIP
2001
IEEE
16 years 5 months ago
On the estimation of spectral data: a genetic algorithm approach
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...
Amâncio Santos, António Dourado, Bern...
ECRTS
2008
IEEE
15 years 10 months ago
Predictable Code and Data Paging for Real Time Systems
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...
Damien Hardy, Isabelle Puaut