998 search results - page 86 / 200 » From Feasible Proofs to Feasible Computations |
TITB
2002
13 years 8 months ago
2002
This pilot study was carried out to find the feasibility of analyzing the maturity of the fetal lung using ultrasound images. Data were collected from normal pregnant women at inte...
IPPS
2002
IEEE
14 years 1 months ago
2002
IEEE
Traditional real-time software development methodologies require full knowledge of the resource capability of target platforms during the development stage. However, such knowledg...
ISCI
2008
13 years 9 months ago
2008
Monitoring the changes in data values obtained from the environment (e.g., locations of moving objects) is a primary concern in many fields, as for example in the pervasive comput...
CORR
2010
Springer
13 years 6 months ago
2010
Springer
The lift-and-project closure is the relaxation obtained by computing all lift-and-project cuts from the initial formulation of a mixed integer linear program or equivalently by co...
WACV
2002
IEEE
14 years 1 months ago
2002
IEEE
In this paper, we propose an approach for detecting signs from natural scenes. The approach efficiently embeds multiresolution, adaptive search, and affine rectification algorithm...