753 search results - page 12 / 151 » Fragments-based Model Reduction: Some Case Studies |
DAM
2008
13 years 8 months ago
2008
The paper studies crown reductions for the Minimum Weighted Vertex Cover problem introduced recently in the unweighted case by Fellows et al. [Blow-Ups, Win/Win's and crown r...
EMSOFT
2007
Springer
14 years 21 days ago
2007
Springer
The soundness of device drivers generally cannot be verified in isolation, but has to take into account the reactions of the hardware devices. In critical embedded systems, interf...
DAM
2006
13 years 8 months ago
2006
Given a rectangular array where entries represent the pixels of a digitalized image, we consider the problem of reconstructing an image from the number of occurrences of each colo...
TSP
2010
13 years 3 months ago
2010
Developing computational models paves the way to understanding, predicting, and influencing the long-term behavior of genomic regulatory systems. However, several major challenges ...
ICCV
2009
IEEE
13 years 6 months ago
2009
IEEE
In this paper we study some problems related to human age estimation using a large database. First, we study the influence of gender on age estimation based on face representation...